util/FileManagementPanel.py
changeset 794 5bbf57905011
parent 789 b1b1a8f85e2f
child 801 435e49e80832
equal deleted inserted replaced
793:1b24b970a816 794:5bbf57905011
   196             event.Skip()
   196             event.Skip()
   197         else:
   197         else:
   198             event.Veto()
   198             event.Veto()
   199     
   199     
   200     def OnTreeEndLabelEdit(self, event):
   200     def OnTreeEndLabelEdit(self, event):
   201         event.Veto()
   201         old_filepath = self.GetPath(event.GetItem())
       
   202         new_filepath = os.path.join(os.path.split(old_filepath)[0], event.GetLabel())
       
   203         if new_filepath != old_filepath:
       
   204             if not os.path.exists(new_filepath):
       
   205                 os.rename(old_filepath, new_filepath)
       
   206                 event.Skip()
       
   207             else:
       
   208                 message =  wx.MessageDialog(self, 
       
   209                     _("File '%s' already exists!") % event.GetLabel(), 
       
   210                     _("Error"), wx.OK|wx.ICON_ERROR)
       
   211                 message.ShowModal()
       
   212                 message.Destroy()
       
   213                 event.Veto()
   202     
   214     
   203     def OnFilterChanged(self, event):
   215     def OnFilterChanged(self, event):
   204         self.CurrentFilter = self.Filters[self.Filter.GetStringSelection()]
   216         self.CurrentFilter = self.Filters[self.Filter.GetStringSelection()]
   205         self.RefreshTree()
   217         self.RefreshTree()
   206         event.Skip()
   218         event.Skip()