--- 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):