- Subject: [Jed-users-l] "display" tab characters
- From: Manfred Hanke <Manfred.Hanke@xxxxxxxxxxxxxxxxxxxxxxxxxx>
- Date: Mon, 22 Jul 2013 22:31:09 +0200
Hi,
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"
I'd also love to see the region "occupied" by the tab, e.g. like:
»——————›»——————› »————› »——›
for
"\x09\x09 \x09 \x09"
I'd distinguish such a representation of "\x09" from actual "»—›" text
through a different, decent color for the former.
From a quick look into the jed source code, the tab width seems to go
directly into S-Lang's SLsmg_Tab_Width, so I might not be able to easily
change the "appearance" of a tab character... right?
Thanks for any ideas!
Cheers,
Manfred
_______________________________________________
Jed-users-l mailing list
Jed-users-l@xxxxxxxx
http://mailman.jtan.com/mailman/listinfo/jed-users-l
[2013 date index]
[2013 thread index]
[Thread Prev] [Thread Next]
[Date Prev] [Date Next]