# HG changeset patch
# User etisserant
# Date 1214406296 -7200
# Node ID 01ab26d291171ab22661ed32f1189984f86ac1e0
# Parent  7292e686f1ab6c230f75dff04023dd7569a8fd30
Fixed missing refresh of title bar on Save.

diff -r 7292e686f1ab -r 01ab26d29117 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()