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
Panein 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