17

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.

5
  • 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, 2016 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, 2016 at 19:52
  • 1
    editor-syntax-highlighting ?
    – cfr
    Sep 8, 2016 at 22:21
  • @cfr I think I'll go with the one I've proposed and see what happens.
    – Alan Munn
    Sep 8, 2016 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, 2016 at 8:11

1 Answer 1

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.

2
  • I guess I'm also trying to minimize the amount of retagging.
    – Alan Munn
    Sep 15, 2016 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, 2016 at 20:40

You must log in to answer this question.

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