From 06afe507f680902af86f717ec8732031597c46e0 Mon Sep 17 00:00:00 2001
From: Filippo Scognamiglio <flscogna@gmail.com>
Date: Mon, 17 Dec 2018 19:09:19 +0100
Subject: [PATCH] Change the way margin is used. This slightly improves
 quality.

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

diff --git a/app/qml/PreprocessedTerminal.qml b/app/qml/PreprocessedTerminal.qml
index 81e3c87..e9bfc45 100644
--- a/app/qml/PreprocessedTerminal.qml
+++ b/app/qml/PreprocessedTerminal.qml
@@ -71,11 +71,11 @@ Item{
         id: kterminal
 
         property int margin: appSettings.margin / screenScaling
-        property int totalWidth: 2 * margin + width
-        property int totalHeight: 2 * margin + height
+        property int totalWidth: Math.floor(parent.width / (screenScaling * fontWidth))
+        property int totalHeight: Math.floor(parent.height / screenScaling)
 
-        width: Math.floor(parent.width / (screenScaling * fontWidth))
-        height: Math.floor(parent.height / screenScaling)
+        width: totalWidth - 2 * margin
+        height: totalHeight - 2 * margin
 
         colorScheme: "cool-retro-term"