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

[Shlomy R. <sre...@gm...>]

Screen real-estate is one thing. But what about files with 100K or
more lines? For line numbers with more than 5 digits, the line number
display is really bad.

Shlomy

On Mon, Apr 20, 2009 at 5:29 PM, Kevin Hunter <hu...@ea...> wrote:
> 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
>