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(+)