diff -r d432eae889ed -r 9089bc4a92e5 PLCOpenEditor.py
--- 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'))