changeset 396 | 9089bc4a92e5 |
parent 391 | 07447ee3538e |
child 397 | ea47ebbe23b7 |
--- a/PLCOpenEditor.py Wed Aug 12 15:00:45 2009 +0200 +++ b/PLCOpenEditor.py Wed Aug 26 19:28:16 2009 +0200 @@ -372,6 +372,8 @@ kind=wx.ITEM_NORMAL, text=_(u'Undo\tCTRL+Z')) AppendMenu(parent, help='', id=wx.ID_REDO, kind=wx.ITEM_NORMAL, text=_(u'Redo\tCTRL+Y')) + AppendMenu(parent, help='', id=ID_PLCOPENEDITOREDITMENUENABLEUNDOREDO, + kind=wx.ITEM_CHECK, text=_(u'Enable Undo/Redo')) parent.AppendSeparator() AppendMenu(parent, help='', id=wx.ID_CUT, kind=wx.ITEM_NORMAL, text=_(u'Cut\tCTRL+X'))