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

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

Shlomy Reinstein wrote:
>> Could you please make the minimal number of digits configurable?
(snip)
> Committed into SVN rev 14973, you can now control the minimal number
> of digits using Global Options -> Gutter, just below line numbering.

Thank you for the fast adoption.

I tried r14973, and found that the minimum width is not changed when I
set the new option. A new editpane (which is created by split actions)
seemed to be configured.

Could you please check that the value is applied to existing gutters?

And one more thing. Please add a note about this new feature in
CHANGES.txt. Doing it in the same revision with the actual change is
the best practice.

-- 
k_satoda