Plugins/PluginWizardE5MessageBox.py

changeset 3034
7ce719013078
parent 3020
542e97d4ecb3
child 3036
30c81c9e88b8
diff -r 58fe260e7469 -r 7ce719013078 Plugins/PluginWizardE5MessageBox.py
--- a/Plugins/PluginWizardE5MessageBox.py	Sat Oct 19 12:28:12 2013 +0200
+++ b/Plugins/PluginWizardE5MessageBox.py	Sat Oct 19 13:03:39 2013 +0200
@@ -117,7 +117,7 @@
         """
         editor = e5App().getObject("ViewManager").activeWindow()
         
-        if editor == None:
+        if editor is None:
                 E5MessageBox.critical(
                     self.__ui,
                     self.trUtf8('No current editor'),

eric ide

mercurial