plugins/python/PythonEditor.py
changeset 670 fb03cb6da95c
parent 657 340c0b9caeca
equal deleted inserted replaced
669:472469f4d5ad 670:fb03cb6da95c
   236         
   236         
   237         img = wx.Bitmap(self.Controler.GetIconPath("Cfile.png"), wx.BITMAP_TYPE_PNG).ConvertToImage()
   237         img = wx.Bitmap(self.Controler.GetIconPath("Cfile.png"), wx.BITMAP_TYPE_PNG).ConvertToImage()
   238         self.SetIcon(wx.BitmapFromImage(img.Rescale(16, 16)))
   238         self.SetIcon(wx.BitmapFromImage(img.Rescale(16, 16)))
   239     
   239     
   240     def __del__(self):
   240     def __del__(self):
   241         self.Controler.OnCloseEditor()
   241         self.Controler.OnCloseEditor(self)
   242     
   242     
   243     def GetTitle(self):
   243     def GetTitle(self):
   244         fullname = self.Controler.PlugFullName()
   244         fullname = self.Controler.PlugFullName()
   245         if not self.Controler.PythonIsSaved():
   245         if not self.Controler.PythonIsSaved():
   246             return "~%s~" % fullname
   246             return "~%s~" % fullname