diff -r 006ee31b4835 -r 0572a215bd2f eric6/WebBrowser/GreaseMonkey/GreaseMonkeyManager.py
--- 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):
"""
