PLCOpenEditor.py
changeset 741 330f578e228d
parent 738 1ccd08cfae0c
child 743 75576aea4555
--- a/PLCOpenEditor.py	Mon Aug 13 10:41:27 2012 +0200
+++ b/PLCOpenEditor.py	Sun Aug 19 16:02:12 2012 +0200
@@ -1316,12 +1316,12 @@
                 MenuToolBar.EnableTool(wx.ID_CUT, True)
                 self.EditMenu.Enable(wx.ID_COPY, True)
                 MenuToolBar.EnableTool(wx.ID_COPY, True)
-                if self.GetCopyBuffer() is not None:
-                    self.EditMenu.Enable(wx.ID_PASTE, True)
-                    MenuToolBar.EnableTool(wx.ID_PASTE, True)
-                else:
-                    self.EditMenu.Enable(wx.ID_PASTE, False)
-                    MenuToolBar.EnableTool(wx.ID_PASTE, False)
+#                if self.GetCopyBuffer() is not None:
+#                    self.EditMenu.Enable(wx.ID_PASTE, True)
+#                    MenuToolBar.EnableTool(wx.ID_PASTE, True)
+#                else:
+#                    self.EditMenu.Enable(wx.ID_PASTE, False)
+#                    MenuToolBar.EnableTool(wx.ID_PASTE, False)
                 self.EditMenu.Enable(wx.ID_SELECTALL, True)
             else:
                 self.EditMenu.Enable(wx.ID_CUT, False)