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()