From c06b3db71e92ea63753744e36f3cb57e43887f7c Mon Sep 17 00:00:00 2001
From: Filippo Scognamiglio <flscogna@gmail.com>
Date: Wed, 17 Dec 2014 01:18:28 +0100
Subject: [PATCH] Fix: missing scrollbar margins caused some clamping on the
 texture border.

---
 app/qml/PreprocessedTerminal.qml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/app/qml/PreprocessedTerminal.qml b/app/qml/PreprocessedTerminal.qml
index aa213b4..8c3a522 100644
--- a/app/qml/PreprocessedTerminal.qml
+++ b/app/qml/PreprocessedTerminal.qml
@@ -102,6 +102,8 @@ Item{
             width: terminal.fontMetrics.width * 0.75
             Rectangle {
                 anchors.fill: parent
+                anchors.topMargin: 1
+                anchors.bottomMargin: 1
                 color: "white"
                 radius: width * 0.25
                 opacity: 0.7