--- a/plugins/python/PythonEditor.py	Thu Oct 22 17:20:24 2009 +0200
+++ b/plugins/python/PythonEditor.py	Fri Oct 23 15:41:48 2009 +0200
@@ -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()
-
+        
+