From: | Guillaume Lelarge <guillaume(at)lelarge(dot)info> |
---|---|
To: | Dave Page <dpage(at)pgadmin(dot)org> |
Cc: | Ken Winter <ken(at)sunward(dot)org>, pgAdmin Support List <pgadmin-support(at)postgresql(dot)org> |
Subject: | Re: Show line numbers in SQL Editor? |
Date: | 2010-02-14 14:37:07 |
Message-ID: | 4B780A93.5060103@lelarge.info |
Views: | Raw Message | Whole Thread | Download mbox | Resend email |
Thread: | |
Lists: | pgadmin-support |
Le 14/02/2010 15:29, Dave Page a écrit :
> On Sun, Feb 14, 2010 at 1:12 PM, Guillaume Lelarge
> <guillaume(at)lelarge(dot)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.
>
The size of the margin is calculated at each new line. So it auto-sizes.
>>> 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.
>
Oh OK, I didn't remember this marker. I just tried and it worked. They
don't render on each other. The error marker appears after the line number.
--
Guillaume.
http://www.postgresqlfr.org
http://dalibo.com
From | Date | Subject | |
---|---|---|---|
Next Message | Little, Douglas | 2010-02-14 15:42:02 | Logging filename symbolics |
Previous Message | Dave Page | 2010-02-14 14:29:43 | Re: Show line numbers in SQL Editor? |