On Thu, 2011-10-20 at 12:22 +0200, Guillaume Lelarge wrote:
> On Wed, 2011-10-19 at 01:13 -0700, Basil Bourque wrote:

> [...]
> > I may have once had an inexplicable glitch, but after restart all was well. 
> > I've only been bitten by 2 recurring bugs:
> > 
> > • (Cosmetic) Changing font size for use on projectors in a meeting makes 
> > fonts bigger, but the rows of the Output Pane in a SQL window fail to grow 
> > in height.
> > 
> 
> Yeah, someone already reported this bug. It shouldn't be hard to fix.
> You can always use the mousewheel in the query tool. The new setting
> will be temporary but it should work for a meeting.
> 

This is fixed.


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


-- 
Sent via pgsql-sql mailing list (pgsql-sql@postgresql.org)
To make changes to your subscription:
http://www.postgresql.org/mailpref/pgsql-sql

Reply via email to