CCF_100
/
relational
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Save state of splitter in GUI 

The splitters are not stored as part of the window's state, so
store it separately.
master
Salvo 'LtWorf' Tomaselli 2015-09-11 12:41:33 +07:00
parent c3edd0190a
commit 7a85b77f50
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
relational_gui/guihandler.py
Unescape Escape View File

@ -260,6 +260,7 @@ class relForm(QtWidgets.QMainWindow):
def save_settings(self):
self.settings.setValue('maingui/geometry', self.saveGeometry())
self.settings.setValue('maingui/windowState', self.saveState())
self.settings.setValue('maingui/splitter', self.ui.splitter.saveState())
self.settings.setValue('maingui/relations', self.user_interface.session_dump())
def restore_settings(self):
@ -272,6 +273,7 @@ class relForm(QtWidgets.QMainWindow):
try:
self.restoreGeometry(self.settings.value('maingui/geometry'))
self.restoreState(self.settings.value('maingui/windowState'))
self.ui.splitter.restoreState(self.settings.value('maingui/splitter'))
except:
pass