diff -r 7c7251ce9497 -r 61b3849df76d PluginManager/PluginUninstallDialog.py
--- a/PluginManager/PluginUninstallDialog.py Sun Nov 04 17:39:08 2012 +0100
+++ b/PluginManager/PluginUninstallDialog.py Mon Nov 05 16:55:16 2012 +0100
@@ -17,11 +17,13 @@
from E5Gui import E5MessageBox
from E5Gui.E5MainWindow import E5MainWindow
+from E5Gui.E5Application import e5App
from .PluginManager import PluginManager
from .Ui_PluginUninstallDialog import Ui_PluginUninstallDialog
import Preferences
+import UI.PixmapCache
class PluginUninstallWidget(QWidget, Ui_PluginUninstallDialog):
@@ -150,6 +152,16 @@
"""<p>Reason: {1}</p>""").format(packageDir, str(err)))
return False
+ if not self.__external:
+ ui = e5App().getObject("UserInterface")
+ if ui.notificationsEnabled():
+ ui.showNotification(UI.PixmapCache.getPixmap("plugin48.png"),
+ self.trUtf8("Plugin Uninstallation"),
+ self.trUtf8("""<p>The plugin <b>{0}</b> was uninstalled successfully"""
+ """ from {1}.</p>""")\
+ .format(pluginName, pluginDirectory))
+ return True
+
E5MessageBox.information(self,
self.trUtf8("Plugin Uninstallation"),
self.trUtf8("""<p>The plugin <b>{0}</b> was uninstalled successfully"""
