Le 14/02/2010 15:29, Dave Page a écrit : > On Sun, Feb 14, 2010 at 1:12 PM, Guillaume Lelarge > <guilla...@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. >
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 -- Sent via pgadmin-support mailing list (pgadmin-support@postgresql.org) To make changes to your subscription: http://www.postgresql.org/mailpref/pgadmin-support
