PLCOpenEditor.py
changeset 560 3757f0de0d07
parent 559 984c51d1bf6b
child 562 0ce12552cf36
--- a/PLCOpenEditor.py	Thu Sep 15 22:29:32 2011 +0200
+++ b/PLCOpenEditor.py	Tue Sep 20 23:58:31 2011 +0200
@@ -321,6 +321,7 @@
               kind=wx.ITEM_NORMAL, text=_(u'Redo\tCTRL+Y'))
         #AppendMenu(parent, help='', id=ID_PLCOPENEDITOREDITMENUENABLEUNDOREDO,
         #      kind=wx.ITEM_CHECK, text=_(u'Enable Undo/Redo'))
+        enable_undo_redo = _(u'Enable Undo/Redo') # Keeping text in translations for possible menu reactivation
         parent.AppendSeparator()
         AppendMenu(parent, help='', id=wx.ID_CUT,
               kind=wx.ITEM_NORMAL, text=_(u'Cut\tCTRL+X'))