equal
deleted
inserted
replaced
804 plugin.PlugAddChild(PluginName, PluginType, self.Log) |
804 plugin.PlugAddChild(PluginName, PluginType, self.Log) |
805 self.RefreshPluginTree() |
805 self.RefreshPluginTree() |
806 dialog.Destroy() |
806 dialog.Destroy() |
807 |
807 |
808 def DeletePlugin(self): |
808 def DeletePlugin(self): |
809 pass |
809 dialog = wx.MessageDialog(self,"Really delete plugin ?", "Remove plugin",wx.YES_NO|wx.NO_DEFAULT) |
|
810 if dialog.ShowModal() == wx.ID_YES: |
|
811 plugin = self.GetSelectedPlugin() |
|
812 plugin.PlugRemove() |
|
813 del plugin |
|
814 self.RefreshPluginTree() |
|
815 dialog.Destroy() |
810 |
816 |
811 #------------------------------------------------------------------------------- |
817 #------------------------------------------------------------------------------- |
812 # Exception Handler |
818 # Exception Handler |
813 #------------------------------------------------------------------------------- |
819 #------------------------------------------------------------------------------- |
814 |
820 |