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