Re: [pgadmin-hackers] Query tool margin

> -Original Message- > From: Andreas Pflug [mailto:[EMAIL PROTECTED] > Sent: 04 November 2005 14:11 > To: Dave Page > Cc: pgadmin-hackers > Subject: Re: Query tool margin > > The function editor already has the line number margin. I hate it, > reminds me of C64 BASIC... OK, status ba

Re: [pgadmin-hackers] Query tool margin

Dave Page wrote: -Original Message- From: Andreas Pflug [mailto:[EMAIL PROTECTED] Sent: 04 November 2005 14:03 To: Dave Page Cc: pgadmin-hackers Subject: Re: Query tool margin Dave Page wrote: -Original Message- From: Andreas Pflug [mailto:[EMAIL PROTECTED] Sent: 0

Re: [pgadmin-hackers] Query tool margin

> -Original Message- > From: Andreas Pflug [mailto:[EMAIL PROTECTED] > Sent: 04 November 2005 14:03 > To: Dave Page > Cc: pgadmin-hackers > Subject: Re: Query tool margin > > Dave Page wrote: > > > > > > > >>-Original Message- > >>From: Andreas Pflug [mailto:[EMAIL PROTECTE

Re: [pgadmin-hackers] Query tool margin

Dave Page wrote: -Original Message- From: Andreas Pflug [mailto:[EMAIL PROTECTED] Sent: 04 November 2005 13:48 To: Dave Page Cc: pgadmin-hackers Subject: Re: Query tool margin Use ConvertDialogToPixels. I'm still not happy, do we really need this? 999 wouldn't be enough, I do ha

Re: [pgadmin-hackers] Query tool margin

> -Original Message- > From: Andreas Pflug [mailto:[EMAIL PROTECTED] > Sent: 04 November 2005 13:48 > To: Dave Page > Cc: pgadmin-hackers > Subject: Re: Query tool margin > > Use ConvertDialogToPixels. > I'm still not happy, do we really need this? 999 wouldn't be > enough, I > do ha

Re: [pgadmin-hackers] Query tool margin

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 numb

Re: [pgadmin-hackers] Query tool margin

> -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

[pgadmin-hackers] 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 99? 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?