IntenseWebs/pgadmin4
3
0
Fork 0
mirror of https://github.com/pgadmin-org/pgadmin4.git synced 2025-02-25 18:55:31 -06:00
Code Issues Packages Projects Releases Wiki Activity

Ensure fractional sizes work for the SQL font.

Browse Source
This commit is contained in:
Dave Page 2016-08-19 11:08:42 +01:00
parent 86858b18f6
commit 33b4817008
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
web/pgadmin/browser/__init__.py
View File

@ -576,7 +576,7 @@ def browser_css():
sql_font_size = round(float(sql_font_size_pref.get()), 2)
if sql_font_size != 0:
snippets.append('.CodeMirror { font-size: %dem; }' % sql_font_size)
snippets.append('.CodeMirror { font-size: %sem; }' % str(sql_font_size))
for submodule in blueprint.submodules:
snippets.extend(submodule.csssnippets)