editors/FileManagementPanel.py
changeset 1847 6198190bc121
parent 1768 691083b5682a
child 1853 47a3f39bead0
equal deleted inserted replaced
1846:14b40afccd69 1847:6198190bc121
   146         event.Skip()
   146         event.Skip()
   147 
   147 
   148     def OnDeleteButton(self, event):
   148     def OnDeleteButton(self, event):
   149         filepath = self.ManagedDir.GetPath()
   149         filepath = self.ManagedDir.GetPath()
   150         if os.path.isfile(filepath):
   150         if os.path.isfile(filepath):
   151             folder, filename = os.path.split(filepath)
   151             _folder, filename = os.path.split(filepath)
   152 
   152 
   153             dialog = wx.MessageDialog(self,
   153             dialog = wx.MessageDialog(self,
   154                                       _("Do you really want to delete the file '%s'?") % filename,
   154                                       _("Do you really want to delete the file '%s'?") % filename,
   155                                       _("Delete File"),
   155                                       _("Delete File"),
   156                                       wx.YES_NO | wx.ICON_QUESTION)
   156                                       wx.YES_NO | wx.ICON_QUESTION)
   169             self.Controler._OpenView(filepath + "::")
   169             self.Controler._OpenView(filepath + "::")
   170         event.Skip()
   170         event.Skip()
   171 
   171 
   172     def CopyFile(self, src, dst):
   172     def CopyFile(self, src, dst):
   173         if os.path.isfile(src):
   173         if os.path.isfile(src):
   174             src_folder, src_filename = os.path.split(src)
   174             _src_folder, src_filename = os.path.split(src)
   175             if os.path.isfile(dst):
   175             if os.path.isfile(dst):
   176                 dst_folder, dst_filename = os.path.split(dst)
   176                 dst_folder, _dst_filename = os.path.split(dst)
   177             else:
   177             else:
   178                 dst_folder = dst
   178                 dst_folder = dst
   179 
   179 
   180             dst_filepath = os.path.join(dst_folder, src_filename)
   180             dst_filepath = os.path.join(dst_folder, src_filename)
   181             if os.path.isfile(dst_filepath):
   181             if os.path.isfile(dst_filepath):