author | etisserant |
Wed, 25 Jun 2008 17:04:56 +0200 | |
changeset 488 | 01ab26d29117 |
parent 487 | 7292e686f1ab |
child 489 | cfba6bf99701 |
--- 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()