PLCOpenEditor.py
changeset 743 75576aea4555
parent 741 330f578e228d
child 745 ecd2effd4660
--- a/PLCOpenEditor.py	Sun Aug 19 16:07:01 2012 +0200
+++ b/PLCOpenEditor.py	Sun Aug 19 16:24:11 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)