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

[Kevin H. <hu...@ea...>]

At 11:16am -0400 on Mon, 20 Apr 2009, Shlomy Reinstein wrote:
> 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.

True.  Others will have to chime in however, as I rarely edit files over
10,000 lines, and usually edit files in the 100-10,000 range.

Kevin