From 33b48170087ea7fb9e8bc217e0973f411df82467 Mon Sep 17 00:00:00 2001 From: Dave Page Date: Fri, 19 Aug 2016 11:08:42 +0100 Subject: [PATCH] Ensure fractional sizes work for the SQL font. --- web/pgadmin/browser/__init__.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/web/pgadmin/browser/__init__.py b/web/pgadmin/browser/__init__.py index cefbce939..8ca555395 100644 --- a/web/pgadmin/browser/__init__.py +++ b/web/pgadmin/browser/__init__.py @@ -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)