Re: Query tool margin

Dave Page wrote:
>
>
>
>>-----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.

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