PluginManager/PluginManager.py

changeset 3116
ee0a183cec81
parent 3114
7942a890a4fc
child 3142
55030c09e142
child 3160
209a07d7e401
--- a/PluginManager/PluginManager.py	Fri Nov 29 18:49:39 2013 +0100
+++ b/PluginManager/PluginManager.py	Fri Nov 29 18:55:25 2013 +0100
@@ -1118,13 +1118,18 @@
                     return
                 
                 if self.__updateAvailable:
-                    E5MessageBox.information(
+                    res = E5MessageBox.information(
                         None,
                         self.trUtf8("New plugin versions available"),
                         self.trUtf8("<p>There are new plug-ins or plug-in"
                                     " updates available. Use the plug-in"
-                                    " repository dialog to get them.</p>")
-                    )
+                                    " repository dialog to get them.</p>"),
+                        E5MessageBox.StandardButtons(
+                            E5MessageBox.Ignore | \
+                            E5MessageBox.Open),
+                        E5MessageBox.Open)
+                    if res == E5MessageBox.Open:
+                        self.__ui.showPluginsAvailable()
     
     def checkPluginEntry(self, name, short, description, url, author, version,
                          filename, status):

eric ide

mercurial