[QGIS-Developer] SQL editor in DB Manager

[Régis Haubourg]

Hi Paolo,
works here with 3.4 or master 3bb77b6918
 using CTRL +

Cheers Régis

Le ven. 27 sept. 2019 à 17:51, Paolo Cavallini <cavallini at faunalia.it> a
écrit :

> 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/
> _______________________________________________
> QGIS-Developer mailing list
> QGIS-Developer at lists.osgeo.org
> List info: https://lists.osgeo.org/mailman/listinfo/qgis-developer
> Unsubscribe: https://lists.osgeo.org/mailman/listinfo/qgis-developer
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.osgeo.org/pipermail/qgis-developer/attachments/20190927/54273801/attachment-0001.html>