From: | "Dave Page" <dpage(at)vale-housing(dot)co(dot)uk> |
---|---|
To: | "Andreas Pflug" <pgadmin(at)pse-consulting(dot)de>, "pgadmin-hackers" <pgadmin-hackers(at)postgresql(dot)org> |
Subject: | Re: Query tool margin |
Date: | 2005-11-04 08:18:02 |
Message-ID: | E7F85A1B5FF8D44C8A1AF6885BC9A0E4CC38FF@ratbert.vale-housing.co.uk |
Views: | Raw Message | Whole Thread | Download mbox | Resend email |
Thread: | |
Lists: | pgadmin-hackers |
> -----Original Message-----
> From: Andreas Pflug [mailto:pgadmin(at)pse-consulting(dot)de]
> Sent: 04 November 2005 07:33
> To: Dave Page; pgadmin-hackers
> Subject: Query tool margin
>
> I'm a little unhappy about the big margin in the Query tool. Do we
> really need to waste the space for line numbers up to 999999?
> Calculation relative to font size would be needed.
>
> What happens to the "error in this line" marker, is it still
> displayed
> or does the SetMarginType suppress this?
It is still displayed on the far left of the margin. The sizing was
based on being able to see the marker, and a line number up to 9999 on
Mac, though I see it is a touch wider on win32. Anything wider, and the
marker is drawn over the number.
We can drop it down a touch so it'll display up to 999 if you like, or
if you can tell me how to calculate the font width, I'll change it to 3
or 4 chars + marker width.
/D
From | Date | Subject | |
---|---|---|---|
Next Message | Guillaume Lelarge | 2005-11-04 13:25:19 | New french translation |
Previous Message | Satoshi Nagayasu | 2005-11-04 07:51:32 | Re: RC1 gets crashed. |