7

Here's my own suggestion for how to change the colors. Notes and suggestions are very welcome (as well as other answers, of course). class current color proposed color ------------------------------------------ keyword #015692 #934301 built_in #b75501 #934301 params unstyled #523014 comment #656e77 #...


3

This answer follows the same principle as my first proposal, only with all colors brightened up a bit, as requested in the comments.


1

What I like about the highlighter I use daily (GtkSourceView) is that it colors the known control words differently from the unknown and user-defined control sequences. This makes it easier to skip over the standard things and focus your attention to the new command (which in many cases is the focus of the question as well). At the same time it gives a quick ...


Only top voted, non community-wiki answers of a minimum length are eligible