objdictgen/objdictedit.py
changeset 488 01ab26d29117
parent 485 24b506ea314b
child 491 2ad3dedf6c6a
--- 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()