DataTypeEditor.py
changeset 494 c91644c2bfa7
parent 462 9abbc90c0263
child 507 42150e041dbe
--- a/DataTypeEditor.py	Wed Dec 16 13:37:09 2009 +0100
+++ b/DataTypeEditor.py	Wed Dec 16 14:22:57 2009 +0100
@@ -917,6 +917,7 @@
             infos["initial"] = ""
         self.Controler.SetDataTypeInfos(self.TagName, infos)
         self.ParentWindow.RefreshTitle()
+        self.ParentWindow.RefreshFileMenu()
         self.ParentWindow.RefreshEditMenu()
 
 #-------------------------------------------------------------------------------