util/FileManagementPanel.py
changeset 791 67b47775ba21
parent 789 b1b1a8f85e2f
child 794 5bbf57905011
equal deleted inserted replaced
787:f49875b9e946 791:67b47775ba21
   367 
   367 
   368     def OnEditButton(self, event):
   368     def OnEditButton(self, event):
   369         filepath = self.ManagedDir.GetPath()
   369         filepath = self.ManagedDir.GetPath()
   370         if (os.path.isfile(filepath) and 
   370         if (os.path.isfile(filepath) and 
   371             os.path.splitext(filepath)[1] in self.EditableFileExtensions):
   371             os.path.splitext(filepath)[1] in self.EditableFileExtensions):
   372             self.Controler._OpenView(filepath)
   372             self.Controler._OpenView(filepath + "::")
   373         event.Skip()
   373         event.Skip()
   374         
   374         
   375     def CopyFile(self, src, dst):
   375     def CopyFile(self, src, dst):
   376         if os.path.isfile(src):
   376         if os.path.isfile(src):
   377             src_folder, src_filename = os.path.split(src)
   377             src_folder, src_filename = os.path.split(src)