Make padding configurable

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)

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);