Dave Page wrote:
-----Original Message-----
From: Andreas Pflug [mailto:[EMAIL PROTECTED]
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.
Use ConvertDialogToPixels.
I'm still not happy, do we really need this? 999 wouldn't be enough, I
do have bigger scripts. Additionally, screenshots need to be updated.
Regards,
Andreas
---------------------------(end of broadcast)---------------------------
TIP 3: Have you checked our extensive FAQ?
http://www.postgresql.org/docs/faq
