E5Gui/E5ErrorMessage.py

changeset 4241
545629046c45
parent 4021
195a471c327b
child 4566
a2e8f3c420ec
child 4632
ca310db386ed
diff -r 4883661fc427 -r 545629046c45 E5Gui/E5ErrorMessage.py
--- a/E5Gui/E5ErrorMessage.py	Sun Apr 26 16:22:42 2015 +0200
+++ b/E5Gui/E5ErrorMessage.py	Fri May 01 11:27:32 2015 +0200
@@ -55,8 +55,8 @@
         @return flag indicating that the message should be filtered out
             (boolean)
         """
-        for filter in self.settings.value(
-                "MessageFilters", self.__defaultFilters):
+        for filter in Globals.toList(self.settings.value(
+                "MessageFilters", self.__defaultFilters)):
             if filter in message:
                 return True
         

eric ide

mercurial