[ jEdit-devel ] Line numbers in the gutter

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

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 took a look at PSPad earlier. PSPad does what I'd expect: Allocate
only the required number of digits according to the number of lines in
the buffer. When the number grows beyond the allocated space, the
allocated space grows. (In order not to look too strange, the minimal
space allows two digits, which is probably according to the number of
lines that fit on screen.)

Shlomy