[QGIS-Developer] SQL editor in DB Manager

[Paolo Cavallini]

Hi all,
as far as I remember, the sql editor embedded in DB Manager had the
capability of increasing font size with Crtl+
Now this seems gone. I think that's a pity, as it is very useful for
teaching purposes.
Any hint on how to get it back?
Thanks.
-- 
Paolo Cavallini - www.faunalia.eu
QGIS.ORG Chair:
http://planet.qgis.org/planet/user/28/tag/qgis%20board/