# HG changeset patch
# User laurent
# Date 1338927073 -7200
# Node ID 8f6ed225f4d81dd23ad5c858c46cc38eda1c5175
# Parent  699a7bad5a8c42dca35f3633206eecdce5a14705
Fixed windows only bug caused by recent changes

diff -r 699a7bad5a8c -r 8f6ed225f4d8 Beremiz.py
--- a/Beremiz.py	Mon Jun 04 18:50:08 2012 +0200
+++ b/Beremiz.py	Tue Jun 05 22:11:13 2012 +0200
@@ -632,7 +632,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)
@@ -644,7 +643,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):