# HG changeset patch
# User Edouard Tisserant
# Date 1339024498 -7200
# Node ID 7788545f4137ad0d05118b88be4784343a19d928
# Parent  8f6ed225f4d81dd23ad5c858c46cc38eda1c5175# Parent  d38560559afb10a00d78379db120f0fed9220015


diff -r d38560559afb -r 7788545f4137 Beremiz.py
--- a/Beremiz.py	Wed Jun 06 19:07:45 2012 +0200
+++ b/Beremiz.py	Thu Jun 07 01:14:58 2012 +0200
@@ -633,7 +633,6 @@
             MenuToolBar.EnableTool(wx.ID_SAVE, project_modified)
             self.FileMenu.Enable(wx.ID_SAVEAS, True)
             MenuToolBar.EnableTool(wx.ID_SAVEAS, True)
-            self.FileMenu.Enable(wx.ID_PROPERTIES, True)
             self.FileMenu.Enable(wx.ID_CLOSE_ALL, True)
         else:
             self.FileMenu.Enable(wx.ID_CLOSE, False)
@@ -645,7 +644,6 @@
             MenuToolBar.EnableTool(wx.ID_SAVE, False)
             self.FileMenu.Enable(wx.ID_SAVEAS, False)
             MenuToolBar.EnableTool(wx.ID_SAVEAS, False)
-            self.FileMenu.Enable(wx.ID_PROPERTIES, False)
             self.FileMenu.Enable(wx.ID_CLOSE_ALL, False)
     
     def RefreshRecentProjectsMenu(self):