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

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

On Tue, Apr 21, 2009 at 7:24 PM, Kazutoshi Satoda
<k_s...@f2...> wrote:
> 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.

Committed into SVN rev 14973, you can now control the minimal number
of digits using Global Options -> Gutter, just below line numbering. I
leave the default as 2 as I think this is much more common than 5, and
that's the default in other editors I've used.

>
> 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.
>

Right, thanks, also fixed in 14973. Sorry for having forgotten it in
the first place.

> --
> k_satoda
>