16

The current tag has 399 questions.

Its current short description is:

  • {highlighting} is about highlighting document elements. Use this tag in addition to other tags specifying what should be highlighted.

These are a mixture of questions about highlighting things in the output PDF and syntax highlighting in the source document.

There was some discussion of this 5 years ago here:

Since we have a lot of both sorts, but they really have nothing in common, I've created a new tag to distinguish editor highlighting from other sorts. I've added the following tag wiki:

  • Many editors are able to highlight TeX keywords and other document components with different colours within the source code. Use this tag in conjunction with the tag and the tag for your specific editor to ask questions about modifying the syntax highlighting for your particular editor.

Unless there are some objections I think it makes sense to gradually split apart the two sorts of questions. I'll also adjust the tag accordingly.

  • One might argue that the tag {syntax-highlighting} might be confused with the output of code as produced with listings or minted packages – user31729 Sep 6 '16 at 17:50
  • @ChristianHupfer True. I'm not sure there's a good way around that except making the tag hint clear. (For those that actually read them...) – Alan Munn Sep 6 '16 at 19:52
  • 1
    editor-syntax-highlighting ? – cfr Sep 8 '16 at 22:21
  • @cfr I think I'll go with the one I've proposed and see what happens. – Alan Munn Sep 8 '16 at 22:26
  • 1
    Aren't the experienced users in charge of proper tagging? Takes just a few seconds and we can't expect the people new to LaTeX to tag correctly. – Johannes_B Sep 9 '16 at 8:11
2

Well, one possibility is to find a good word for "highlighting teh output not teh code" and ban completely; this would force people to choose one of the more specific tags and hopefully avoid using where should be.

I suggest , even though it's not optimal as a tag name.

  • I guess I'm also trying to minimize the amount of retagging. – Alan Munn Sep 15 '16 at 20:38
  • I think a tag can be renamed and then the original name banned... of course by mod power, but we have so powerful people around us :-) – yo' Sep 15 '16 at 20:40

You must log in to answer this question.

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