What is meta? ×
Meta Stack Exchange is where users like you discuss bugs, features, and support issues that affect the software powering all 130 Stack Exchange communities.

This question already has an answer here:

Is there already a standard way for introducing syntax highlighting for a language (and tag) that did not previously have it?

I would like to have syntax highlighting for the tag, since code is sometimes hard to read without it.

share|improve this question

marked as duplicate by ben is uǝq backwards, hims056, Martijn Pieters, Aziz Shaikh, animuson Oct 5 '13 at 16:17

This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.

    
The likely problem I foresee is that isabelle is only used by 24 questions. Though I wonder what the process is on a generic scale... –  Danny Beckett Mar 13 '13 at 4:43
1  
Well, my question is for the general case. How would one add syntax highlighting for a new language in general. (Only my motivation is specific to isabelle.) Also I did not expect anybody to write a syntax plug-in, more like, if I had a plug-in how could it be added to SO? –  chris Mar 13 '13 at 5:00

1 Answer 1

up vote 7 down vote accepted

That seems to be a rather obscure language. I doubt highlighting will be added for that anytime soon.

Besides, adding highlighting isn't in the hands of SE. SE uses the Prettify engine, which supports the languages listed here. I guess you could write an extension for it. (Not sure if SE would include it, seems like a lot of overhead for 24 questions)

share|improve this answer
    
I guess my question is in essence, whether SE would include such an extension, if it was provided. And once again, my question is not specific to isabelle. (Maybe I should remove that part from the question to improve it?) –  chris Mar 13 '13 at 5:09
    
+1 @chris I guess it is a good question with a good answer. The first one might be better without being so specific. –  Felipe Alameda A Mar 13 '13 at 5:11
    
@chris: I guess they would if there are >1000 good question on the tag. I guess :S –  Manishearth Mar 13 '13 at 5:12

Not the answer you're looking for? Browse other questions tagged .