--- a/plugins/c_ext/CFileEditor.py	Sat Jun 28 19:06:48 2008 +0200
+++ b/plugins/c_ext/CFileEditor.py	Mon Jun 30 14:27:30 2008 +0200
@@ -1052,10 +1052,9 @@
 #-------------------------------------------------------------------------------
 
     def RefreshEditMenu(self):
-        if self.EditMenu:
-            undo, redo = self.Controler.GetBufferState()
-            self.EditMenu.Enable(wx.ID_UNDO, undo)
-            self.EditMenu.Enable(wx.ID_REDO, redo)
+        undo, redo = self.Controler.GetBufferState()
+        self.EditMenu.Enable(wx.ID_UNDO, undo)
+        self.EditMenu.Enable(wx.ID_REDO, redo)
 
     def OnRefreshMenu(self, event):
         selected = self.GetPageSelection()