* Josh Triplett (2011-05-09) writes: > On Mon, May 09, 2011 at 09:40:39PM +0200, Ralf Angeli wrote: >> >> I'd say yes. Fontifying the whole macro looks more consistent to me >> than fontifying only the part after the backslash. > > Doing so makes the '\' look like a '|'.
I'm using DejaVu Sans Mono with a size of 17 pixels here and the two characters can be distinguished easily. Maybe the font you are using is suboptimal? Also, in which context or use case would it be a big problem if the characters where not easily distinguishable? -- Ralf -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org