PluginManager/PluginManager.py

changeset 537
72b32daeb8d6
parent 496
ed1e3f654d0b
child 791
9ec2ac20e54e
diff -r 6d8d39753c82 -r 72b32daeb8d6 PluginManager/PluginManager.py
--- a/PluginManager/PluginManager.py	Mon Aug 30 20:16:34 2010 +0200
+++ b/PluginManager/PluginManager.py	Tue Aug 31 12:17:02 2010 +0200
@@ -12,7 +12,9 @@
 import imp
 
 from PyQt4.QtCore import *
-from PyQt4.QtGui import QPixmap, QMessageBox
+from PyQt4.QtGui import QPixmap
+
+from E5Gui import E5MessageBox
 
 from .PluginExceptions import *
 
@@ -946,7 +948,7 @@
                     try:
                         os.mkdir(downloadDir, 0o755)
                     except (OSError, IOError) as err:
-                        QMessageBox.critical(self.__ui,
+                        E5MessageBox.critical(self.__ui,
                             self.trUtf8("Plugin Manager Error"),
                             self.trUtf8("""<p>The plugin download directory <b>{0}</b> """
                                         """could not be created. Please configure it """

eric ide

mercurial