PLCOpenEditor.py
changeset 352 5cd60f7e510c
parent 350 f7958989e055
child 357 e5501b3337db
--- a/PLCOpenEditor.py	Mon May 04 09:55:26 2009 +0200
+++ b/PLCOpenEditor.py	Fri May 22 08:38:12 2009 +0200
@@ -1268,10 +1268,12 @@
             else:
                 self.DisplayMenu.Enable(wx.ID_REFRESH, False)
                 self.DisplayMenu.Enable(wx.ID_ZOOM_FIT, False)
-            self.DisplayMenu.Enable(wx.ID_CLEAR, True)
+            if not self.Debug and not self.ModeSolo:
+                self.DisplayMenu.Enable(wx.ID_CLEAR, True)
         else:
             self.DisplayMenu.Enable(wx.ID_REFRESH, False)
-            self.DisplayMenu.Enable(wx.ID_CLEAR, False)
+            if not self.Debug and not self.ModeSolo:
+                self.DisplayMenu.Enable(wx.ID_CLEAR, False)
             self.DisplayMenu.Enable(wx.ID_ZOOM_FIT, False)
         
     def OnRefreshMenu(self, event):