Re: Line numbers and Visible Tabs

[Tom Culliton <culliton@xxxxxx>]

It occurs to me that a really nice and relatively straightforward way of
doing this would be to use syntax coloring to show the whitespace ...
Obviously it would be the background color that would be the key.  With
color you could make the distinction very subtle.  For example by making
the background just enough more/less red or green or blue to be obvious.

This would be even better if you could set it in an additive way, so
that you could turn it on and off like a sub-mode.  However given that
it could be kept very subtle, you could probably leave it on all the
time without distraction or annoyance so that's not a big deal...

On Sun, 28 Sep 2003 02:10:43 +0200 Robert Lillack <rob@xxxxxxxxxx> wrote:
> I wrote MONTHS AGO:
> 
> [visible line number & tabs]
> 
> > Well, it seems like implementing it directly into the C
> > source would be a much cleaner & better way. I hope I find
> > some time the next days to look into it.
> 
> It just took a few months longer... But this night I had
> some time to spare. The patch for both---visible tabs &
> spaces AND visible line numbers---is attached. ;)
> 
> Using the patched Jed version one gets three more things to
> customize in .jedrc:
> 
> 	WANT_LINE_NUMBERS=1;
> 
> to turn on the line numbers on the left side of the screen
> (default is 0),
> 
> 	WANT_VISIBLE_SPACE=1;
> 
> to turn on visible tab characters and spaces (default is 0) and
> 
> 	VISIBLE_SPACE_CHARACTER='.';
> 
> to choose the character which should be used to represent a
> space when WANT_VISIBLE_SPACE is 1. Default is '.', I
> like '·' (a light & centered dot found many latin charsets).
> If you just want visible tabs and no visible spaces just
> set it to ' ' (a space).
> 
> If you want to see the patch in action before trying it,
> look here:
> 
> 	http://www.lillaxsitedesign.de/rob/download/jed1.png
> 	http://www.lillaxsitedesign.de/rob/download/jed2.png
> 
> Comments welcome!
> 
> Rob.
> -- 
> r o b e r t | l i l l a c k
> www.lillaxsitedesign.de/rob
> secure mail key: 0xE7FFDF77
> 




--------------------------
To unsubscribe send email to <jed-users-request@xxxxxxxxxxx> with
the word "unsubscribe" in the message body.
Need help? Email <jed-users-owner@xxxxxxxxxxx>.