Re: [Jed-users-l] "display" tab characters

["John E. Davis" <davis@xxxxxxxxxxxxx>]

Manfred Hanke <Manfred.Hanke@xxxxxxxxxxxxxxxxxxxxxxxxxx> wrote:
> is there a way in jed to explicitly mark tab characters (in addition to
> their indent), different from spaces? Some editors use something like:
> »	»	»	»
> for
> "\x09\x09\x09\x09"

Try this:

  Highlight_Whitespace = 3
  set_color ("tab", "default", "green");

Perhaps Highlight_Whitespace should be made buffer-local.

Also, it appears that tabs and spaces are treated the same when part
of trailing whitespace.  We might want to change this too.

--John
_______________________________________________
Jed-users-l mailing list
Jed-users-l@xxxxxxxx
http://mailman.jtan.com/mailman/listinfo/jed-users-l