Force integer values for new margins.

2018-12-17 00:10:26 +01:00
parent 767a61b86e
commit b5f39c1d53
1 changed files with 3 additions and 3 deletions
--- 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)