Allow customisation of the CodeMirror font size. Fixes #1565 Branch ------ master
Details ------- http://git.postgresql.org/gitweb?p=pgadmin4.git;a=commitdiff;h=b3f25cb4bb5027eaba483eceb4e425fdadb63910 Modified Files -------------- web/pgadmin/browser/__init__.py | 18 ++++++++++++++++++ 1 file changed, 18 insertions(+) -- Sent via pgadmin-hackers mailing list ([email protected]) To make changes to your subscription: http://www.postgresql.org/mailpref/pgadmin-hackers
