util/FileManagementPanel.py
changeset 789 b1b1a8f85e2f
parent 784 a1d970365e41
child 794 5bbf57905011
equal deleted inserted replaced
788:3cec473bef94 789:b1b1a8f85e2f
   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)