PluginManager/PluginManager.py

changeset 3020
542e97d4ecb3
parent 2992
dbdf27746da5
child 3022
57179e4cdadd
--- a/PluginManager/PluginManager.py	Mon Oct 14 18:26:25 2013 +0200
+++ b/PluginManager/PluginManager.py	Mon Oct 14 19:30:36 2013 +0200
@@ -992,7 +992,8 @@
                     try:
                         os.mkdir(downloadDir, 0o755)
                     except (OSError, IOError) as err:
-                        E5MessageBox.critical(self.__ui,
+                        E5MessageBox.critical(
+                            self.__ui,
                             self.trUtf8("Plugin Manager Error"),
                             self.trUtf8(
                                 """<p>The plugin download directory"""

eric ide

mercurial