eric6/WebBrowser/GreaseMonkey/GreaseMonkeyManager.py

changeset 8221
0572a215bd2f
parent 8218
7c09585bd960
child 8240
93b8a353c4bf
--- a/eric6/WebBrowser/GreaseMonkey/GreaseMonkeyManager.py	Sun Apr 11 12:38:16 2021 +0200
+++ b/eric6/WebBrowser/GreaseMonkey/GreaseMonkeyManager.py	Sun Apr 11 16:53:48 2021 +0200
@@ -206,11 +206,7 @@
         @param fullName full name of the script (string)
         @return flag indicating the existence (boolean)
         """
-        for script in self.__scripts:
-            if script.fullName() == fullName:
-                return True
-        
-        return False
+        return any(script.fullName() == fullName for script in self.__scripts)
     
     def enableScript(self, script):
         """

eric ide

mercurial