Open greenh opened 11 years ago
If a string is specified as a key using @opt, it currently is rendered with no coloration and no quotes. This is probably appropriate for, e.g. @popt, but not so much for other choices. Strings used for keys probably ought to appear as such.
@opt
@popt
If a string is specified as a key using
@opt
, it currently is rendered with no coloration and no quotes. This is probably appropriate for, e.g.@popt
, but not so much for other choices. Strings used for keys probably ought to appear as such.