Re: SQL pane font

On Wed, 2011-10-12 at 23:21 -0700, Basil Bourque wrote:
> >>> You can use Control key + mouse scroll wheel for instant resizing. 
> >>> For a permanent setup take a look in the File->Options menu.
> >> 
> >> That makes it a little difficult for me. The Logitech Marble Mouse
> >> doesn't have a scroll wheel.
> > 
> > You do understand that you can set it in the Options dialog without the
> > mousewheel?
> 
> Options (or Preferences) > Query Tool (tab) > Font setting has a bug rendering it useless. In pgAdmin 1.14.0 setting
abigger font does indeed cause the fonts to get bigger, but any table of data generated for display in the "Output
Pane"of a SQL Query window fails to grow its row size vertically. So the larger font is clipped and unreadable.
 
> 
> Strangely, the Control+Mouse-ball-down works in the output pane! Both the font *and* the row height increase. Thanks
forthe tip on that mouse trick -- it is a workaround for this fixed-row-height bug. This makes demonstrating Postgres
toan audience much easier.
 
> 
> Screen shot:
> http://www.gridsgonewild.com/postgres/pgadmin_font_size_bug.png
> 
> I reported this bug in another thread (subject below). I just updated that thread with the above link to a
screenshot.
> Subject: Re: [pgadmin-support] Re: Bug - Rows in Query Output pane fail to grow in height when font size preference
sizeis larger
 
> 

Oops, right. Now fixed. Thanks :)


-- 
Guillaume http://blog.guillaume.lelarge.info http://www.dalibo.com