Fixed missing refresh of title bar on Save.
authoretisserant
Wed, 25 Jun 2008 17:04:56 +0200
changeset 488 01ab26d29117
parent 487 7292e686f1ab
child 489 cfba6bf99701
Fixed missing refresh of title bar on Save.
objdictgen/objdictedit.py
--- a/objdictgen/objdictedit.py	Wed Jun 25 17:04:21 2008 +0200
+++ b/objdictgen/objdictedit.py	Wed Jun 25 17:04:56 2008 +0200
@@ -653,6 +653,7 @@
     def OnSaveMenu(self, event):
         if not self.ModeSolo and getattr(self, "_onsave", None) != None:
             self._onsave()
+            self.RefreshBufferState()
         else:
             self.Save()
         event.Skip()