plugins/python/PythonEditor.py
changeset 670 fb03cb6da95c
parent 657 340c0b9caeca
--- a/plugins/python/PythonEditor.py	Tue Jan 24 21:39:26 2012 +0100
+++ b/plugins/python/PythonEditor.py	Wed Jan 25 01:23:44 2012 +0100
@@ -238,7 +238,7 @@
         self.SetIcon(wx.BitmapFromImage(img.Rescale(16, 16)))
     
     def __del__(self):
-        self.Controler.OnCloseEditor()
+        self.Controler.OnCloseEditor(self)
     
     def GetTitle(self):
         fullname = self.Controler.PlugFullName()