CodeMirror/manuskript
1
0
Fork 0
mirror of https://github.com/olivierkes/manuskript.git synced 2024-05-17 11:22:28 +12:00
Code Issues Projects Releases Wiki Activity

Auto-hides editor tab bar

Browse source
This commit is contained in:
Olivier Keshavjee 2016-02-06 16:11:03 +01:00
parent a3e266f126
commit 0f219cd8b7
2 changed files with 14 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
manuskript/ui/editors/mainEditor_ui.py
View file

@ -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()

14
manuskript/ui/editors/mainEditor_ui.ui
View file

@ -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>