> -----Original Message-----
> From: Andreas Pflug [mailto:pgadmin@pse-consulting.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
