editors/FileManagementPanel.py
branchpython3
changeset 3765 88fe6fc9fd38
parent 3750 f62625418bff
equal deleted inserted replaced
3764:d92c1a3dafa7 3765:88fe6fc9fd38
   112         self.EditableFileExtensions = []
   112         self.EditableFileExtensions = []
   113         self.EditButton.Hide()
   113         self.EditButton.Hide()
   114 
   114 
   115         self.SetIcon(GetBitmap("FOLDER"))
   115         self.SetIcon(GetBitmap("FOLDER"))
   116 
   116 
   117     def __del__(self):
       
   118         self.Controler.OnCloseEditor(self)
       
   119 
       
   120     def GetTitle(self):
   117     def GetTitle(self):
   121         return _(self.TagName)
   118         return _(self.TagName)
   122 
   119 
   123     def SetEditableFileExtensions(self, extensions):
   120     def SetEditableFileExtensions(self, extensions):
   124         self.EditableFileExtensions = extensions
   121         self.EditableFileExtensions = extensions