From 0f219cd8b707fc880752cd8f02419958d3d1eb19 Mon Sep 17 00:00:00 2001
From: Olivier Keshavjee <olivier.keshavjee@gmail.com>
Date: Sat, 6 Feb 2016 16:11:03 +0100
Subject: [PATCH] Auto-hides editor tab bar

---
 manuskript/ui/editors/mainEditor_ui.py |  1 +
 manuskript/ui/editors/mainEditor_ui.ui | 14 +++++++++++++-
 2 files changed, 14 insertions(+), 1 deletion(-)

diff --git a/manuskript/ui/editors/mainEditor_ui.py b/manuskript/ui/editors/mainEditor_ui.py
index 1d5565e0..1cf4ed55 100644
--- a/manuskript/ui/editors/mainEditor_ui.py
+++ b/manuskript/ui/editors/mainEditor_ui.py
@@ -19,6 +19,7 @@ class Ui_mainEditor(object):
         self.tab.setDocumentMode(True)
         self.tab.setTabsClosable(True)
         self.tab.setMovable(True)
+        self.tab.setTabBarAutoHide(True)
         self.tab.setObjectName("tab")
         self.verticalLayout.addWidget(self.tab)
         self.horizontalLayout_19 = QtWidgets.QHBoxLayout()
diff --git a/manuskript/ui/editors/mainEditor_ui.ui b/manuskript/ui/editors/mainEditor_ui.ui
index d5b0387b..6437b220 100644
--- a/manuskript/ui/editors/mainEditor_ui.ui
+++ b/manuskript/ui/editors/mainEditor_ui.ui
@@ -14,7 +14,16 @@
    <string>Form</string>
   </property>
   <layout class="QVBoxLayout" name="verticalLayout">
-   <property name="margin">
+   <property name="leftMargin">
+    <number>0</number>
+   </property>
+   <property name="topMargin">
+    <number>0</number>
+   </property>
+   <property name="rightMargin">
+    <number>0</number>
+   </property>
+   <property name="bottomMargin">
     <number>0</number>
    </property>
    <item>
@@ -31,6 +40,9 @@
      <property name="movable">
       <bool>true</bool>
      </property>
+     <property name="tabBarAutoHide">
+      <bool>true</bool>
+     </property>
     </widget>
    </item>
    <item>