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

[Kazutoshi S. <k_s...@f2...>]

Shlomy Reinstein wrote:
> 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.)

Could you please make the minimal number of digits configurable?

I want that the gutter doesn't change the width so often on switching
buffers in usual files (with 1~1000 lines or such). Then my configuration
would be 4 digits.

Also, setting this as 5 by default would minimize the impact of change.


Now I got your change r14972. (I meant to send the above before you
implement this.)

I found that the width are not updated when switching buffers by
Ctrl+PageUp/Down. It seems to miss some triggers to update the width.

-- 
k_satoda