Use viewport margins for all scaling of editor doc margins

This commit is contained in:
Veronica K. B. Olsen
2020-06-16 00:20:59 +02:00
parent a4108222b0
commit 2c5692085e
2 changed files with 10 additions and 26 deletions
-2
View File
@@ -116,7 +116,6 @@ class GuiMain(QMainWindow):
self.splitView.setSizes(self.mainConf.getViewPanePos())
self.splitDocs = QSplitter(Qt.Horizontal)
self.splitDocs.setOpaqueResize(False)
self.splitDocs.addWidget(self.docEditor)
self.splitDocs.addWidget(self.splitView)
@@ -135,7 +134,6 @@ class GuiMain(QMainWindow):
xCM = self.mainConf.pxInt(4)
self.splitMain = QSplitter(Qt.Horizontal)
self.splitMain.setContentsMargins(xCM, xCM, xCM, xCM)
self.splitMain.setOpaqueResize(False)
self.splitMain.addWidget(self.treePane)
self.splitMain.addWidget(self.tabWidget)
self.splitMain.setSizes(self.mainConf.getMainPanePos())