From b5f39c1d53dd04bee1b629627b20497538d089de Mon Sep 17 00:00:00 2001
From: Filippo Scognamiglio <flscogna@gmail.com>
Date: Mon, 17 Dec 2018 00:10:26 +0100
Subject: [PATCH] Force integer values for new margins.

---
 app/qml/PreprocessedTerminal.qml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/app/qml/PreprocessedTerminal.qml b/app/qml/PreprocessedTerminal.qml
index 26ea48e..81e3c87 100644
--- a/app/qml/PreprocessedTerminal.qml
+++ b/app/qml/PreprocessedTerminal.qml
@@ -70,9 +70,9 @@ Item{
     QMLTermWidget {
         id: kterminal
 
-        property real margin: appSettings.margin / screenScaling
-        property real totalWidth: 2 * margin + width
-        property real totalHeight: 2 * margin + height
+        property int margin: appSettings.margin / screenScaling
+        property int totalWidth: 2 * margin + width
+        property int totalHeight: 2 * margin + height
 
         width: Math.floor(parent.width / (screenScaling * fontWidth))
         height: Math.floor(parent.height / screenScaling)