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 a bigger 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 for the tip on that mouse trick -- > it is a workaround for this fixed-row-height bug. This makes demonstrating > Postgres to an 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 size is larger >
Oops, right. Now fixed. Thanks :) -- Guillaume http://blog.guillaume.lelarge.info http://www.dalibo.com -- Sent via pgadmin-support mailing list (pgadmin-support@postgresql.org) To make changes to your subscription: http://www.postgresql.org/mailpref/pgadmin-support
