+ self.Bind(wx.EVT_SPLITTER_SASH_POS_CHANGED, self.OnChanged)
+
+ def OnChanged(self, event):
+ #this is important: do not evaluate this event=> otherwise, splitterwindow behaves strange
+ #event.Skip()
+ pass
+
+
+ def LoadSettings(self, config):
+ pos = config.ReadInt('Sash/FillingPos', 200)
+ wx.FutureCall(250, self.SetSashPosition, pos)
+ zoom = config.ReadInt('View/Zoom/Filling', -99)
+ if zoom != -99:
+ self.text.SetZoom(zoom)
+
+ def SaveSettings(self, config):
+ config.WriteInt('Sash/FillingPos', self.GetSashPosition())
+ config.WriteInt('View/Zoom/Filling', self.text.GetZoom())
+
+