From 74171df459a55bd9d425ea90c67526a7792d17b9 Mon Sep 17 00:00:00 2001
From: Mathias Burger <mathias.burger@tngtech.com>
Date: Sun, 5 Feb 2017 20:49:36 +0100
Subject: [PATCH] get terminal font size from preferences

---
 gateone/applications/terminal/static/terminal.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/gateone/applications/terminal/static/terminal.js b/gateone/applications/terminal/static/terminal.js
index 592d3d2b..0722eecc 100644
--- a/gateone/applications/terminal/static/terminal.js
+++ b/gateone/applications/terminal/static/terminal.js
@@ -849,7 +849,7 @@ go.Base.update(GateOne.Terminal, {
         logDebug('loadFont(' + font + ", " + size + ")");
         font = font || go.prefs.terminalFont;
         var settings = {'font_family': font};
-        if (size) {settings['font_size'] = size}
+        settings['font_size'] = size || go.prefs.terminalFontSize;
         go.ws.send(JSON.stringify({'terminal:get_font': settings}));
     },
     loadTextColors: function(colors) {