On Sun, Feb 14, 2010 at 1:12 PM, Guillaume Lelarge
<guillaume@lelarge.info> wrote:
> Le 14/02/2010 11:05, Dave Page a écrit :
>> What happens with more than 10K lines in a file (yes, we have seen
>> complaints about that!).
>
> I tried with a 605k lines file, and it worked great on my laptop.
>
> What was the complaint about? size of the margin? slow rendering?
The line numbers overflow the margin, because it doesn't auto-size to
accomodate the width.
>> What about the line markers?
>
> What do you mean?
We sometimes display error marker in the margin. A similar issue to
the above is that they may be rendered on top of the numbers which
looks really messy.
--
Dave Page
EnterpriseDB UK: http://www.enterprisedb.com