# HG changeset patch
# User etisserant
# Date 1190646307 -7200
# Node ID 447b7706a5b6f575952531783dd55cdeb144738c
# Parent  45dc6a944ab6ff16805586fdf3a869f6c2219c4f
Added plugin deletion

diff -r 45dc6a944ab6 -r 447b7706a5b6 Beremiz.py
--- a/Beremiz.py	Fri Sep 21 17:48:34 2007 +0200
+++ b/Beremiz.py	Mon Sep 24 17:05:07 2007 +0200
@@ -806,7 +806,13 @@
         dialog.Destroy()
     
     def DeletePlugin(self):
-        pass
+        dialog = wx.MessageDialog(self,"Really delete plugin ?", "Remove plugin",wx.YES_NO|wx.NO_DEFAULT)
+        if dialog.ShowModal() == wx.ID_YES:
+            plugin = self.GetSelectedPlugin()
+            plugin.PlugRemove()
+            del plugin
+            self.RefreshPluginTree()
+        dialog.Destroy()
 
 #-------------------------------------------------------------------------------
 #                               Exception Handler