Re: [ jEdit-devel ] Line numbers in the gutter

[Kevin H. <hu...@ea...>]

On 04/20/2009 10:19 AM, Shlomy Reinstein wrote:
> Hi,
> 
> Though I don't use line numbers in jEdit most of the time, they are
> implemented in a strange manner: The space allocated for line numbers
> is always for 5 digits. Even if the file only has 20 lines, a 5-digit
> space will still be allocated in the gutter for the line numbers. If
> the file contains more than 99,999 lines, the space does not grow, and
> the 6th digit is written on top of the fold markers.
> Any idea why it was implemented this way?

I've wondered this as well.  If I may speculate, I imagine that whoever
wrote that code was not working with screen real estate constraints.
Thus, a first-order guess is that just allocating 5-digits worth of
space is much easier than figuring out dynamically what must be done.

To me, who currently works on a laptop in a 1280x800, screen real estate
is very precious, and having a smarter gutter in this sense would be
handy.  Currently, my solution is the same as yours: turn them off, but
I prefer it weren't that way.  I like line numbers, and when I have more
screen real estate, they're on.  C+e+t is well known to me.

Kevin