=== modified file 'xlgui/main.py' --- xlgui/main.py 2009-09-03 23:57:24 +0000 +++ xlgui/main.py 2009-09-06 09:57:51 +0000 @@ -1195,6 +1195,11 @@ """ Called when the window is resized or moved """ + pos = self.splitter.get_position() + if pos > 10 and pos != settings.get_option( + "gui/mainw_sash_pos", -1): + settings.set_option('gui/mainw_sash_pos', pos) + # Don't save window size if it is maximized or fullscreen. if settings.get_option('gui/mainw_maximized', False) or \ self._fullscreen: @@ -1210,10 +1215,6 @@ key in ["x", "y"] ]: settings.set_option('gui/mainw_x', x) settings.set_option('gui/mainw_y', y) - pos = self.splitter.get_position() - if pos > 10 and pos != settings.get_option( - "gui/mainw_sash_pos", -1): - settings.set_option('gui/mainw_sash_pos', pos) return False