From e331bd4c67896a4be0444610934ca7e2880378ad Mon Sep 17 00:00:00 2001
From: "Ecmel B. CANLIER" <me@ecmelberk.com>
Date: Mon, 27 Aug 2018 10:43:08 +0300
Subject: [PATCH] Make padding configurable

---
 lib/TerminalDisplay.cpp | 11 +++++++++++
 lib/TerminalDisplay.h   |  3 +++
 2 files changed, 14 insertions(+)

diff --git a/lib/TerminalDisplay.cpp b/lib/TerminalDisplay.cpp
index 200b9e1..088e80e 100644
--- a/lib/TerminalDisplay.cpp
+++ b/lib/TerminalDisplay.cpp
@@ -3212,6 +3212,17 @@ void TerminalDisplay::setLineSpacing(uint i)
   setVTFont(font()); // Trigger an update.
 }
 
+int TerminalDisplay::margin() const
+{
+    return _topMargin;
+}
+
+void TerminalDisplay::setMargin(int i)
+{
+    _topMargin = i;
+    _leftMargin = i;
+}
+
 AutoScrollHandler::AutoScrollHandler(QWidget* parent)
 : QObject(parent)
 , _timerId(0)
diff --git a/lib/TerminalDisplay.h b/lib/TerminalDisplay.h
index 9b0dad2..adf446a 100644
--- a/lib/TerminalDisplay.h
+++ b/lib/TerminalDisplay.h
@@ -188,6 +188,9 @@ public:
     TripleClickMode tripleClickMode() { return _tripleClickMode; }
 
     void setLineSpacing(uint);
+    void setMargin(int);
+
+    int margin() const;
     uint lineSpacing() const;
 
     void emitSelection(bool useXselection,bool appendReturn);