Re: [pgadmin-support] Font size control in edit data window

2012-09-23 Thread Guillaume Lelarge
On Sun, 2012-08-26 at 04:17 -0400, Colin Beckingham wrote: > > On 08/26/2012 03:23 AM, Guillaume Lelarge wrote: > > On Wed, 2012-08-15 at 09:55 -0400, Colin Beckingham wrote: > >> pgadmin latest dev from git, using wxw 2.9.4: > >> > >> I'm having an issue with font and font size in the edit data w

Re: [pgadmin-support] Font size control in edit data window

2012-08-26 Thread Colin Beckingham
On 08/26/2012 03:23 AM, Guillaume Lelarge wrote: On Wed, 2012-08-15 at 09:55 -0400, Colin Beckingham wrote: pgadmin latest dev from git, using wxw 2.9.4: I'm having an issue with font and font size in the edit data window ... So in summary, a couple of thoughts: 1. Is there any benefit t

Re: [pgadmin-support] Font size control in edit data window

2012-08-26 Thread Guillaume Lelarge
On Wed, 2012-08-15 at 09:55 -0400, Colin Beckingham wrote: > pgadmin latest dev from git, using wxw 2.9.4: > > I'm having an issue with font and font size in the edit data window. > Fonts and sizes, plus Ctrl+mouse wheel operations work fine, but > attempting to autoadjust a line height leads to

[pgadmin-support] Font size control in edit data window

2012-08-15 Thread Colin Beckingham
pgadmin latest dev from git, using wxw 2.9.4: I'm having an issue with font and font size in the edit data window. Fonts and sizes, plus Ctrl+mouse wheel operations work fine, but attempting to autoadjust a line height leads to problems. In File - Options - Query Tool - Query Editor I have se