diff -r fcd344deae84 -r 75fe73597273 plugins/python/PythonEditor.py
--- a/plugins/python/PythonEditor.py	Tue Oct 27 16:32:54 2009 +0100
+++ b/plugins/python/PythonEditor.py	Mon Nov 02 15:38:49 2009 +0100
@@ -560,7 +560,6 @@
             self._onsave()
         self.RefreshTitle()
         self.RefreshEditMenu()
-        event.Skip()
 
     def RefreshTitle(self):
         title = _("PythonEditor")
@@ -577,19 +576,17 @@
 
     def OnRefreshMenu(self, event):
         self.PythonEdited.RefreshView()
-        event.Skip()
 
     def OnUndoMenu(self, event):
         self.Controler.LoadPrevious()
         self.PythonEdited.RefreshView()
         self.RefreshTitle()
         self.RefreshEditMenu()
-        event.Skip()
     
     def OnRedoMenu(self, event):
         self.Controler.LoadNext()
         self.PythonEdited.RefreshView()
         self.RefreshTitle()
         self.RefreshEditMenu()
-        event.Skip()
-
+        
+