Mercurial Repositories > eric / file comparison
comparison: eric6/WebBrowser/GreaseMonkey/GreaseMonkeyManager.py
eric6/WebBrowser/GreaseMonkey/GreaseMonkeyManager.py
- changeset 8221
- 0572a215bd2f
- parent 8218
- 7c09585bd960
- child 8240
- 93b8a353c4bf
equal
deleted
inserted
replaced
| 8220:006ee31b4835 | 8221:0572a215bd2f |
|---|---|
| 204 Public method to check, if the given script exists. | 204 Public method to check, if the given script exists. |
| 205 | 205 |
| 206 @param fullName full name of the script (string) | 206 @param fullName full name of the script (string) |
| 207 @return flag indicating the existence (boolean) | 207 @return flag indicating the existence (boolean) |
| 208 """ | 208 """ |
| 209 for script in self.__scripts: | 209 return any(script.fullName() == fullName for script in self.__scripts) |
| 210 if script.fullName() == fullName: | |
| 211 return True | |
| 212 | |
| 213 return False | |
| 214 | 210 |
| 215 def enableScript(self, script): | 211 def enableScript(self, script): |
| 216 """ | 212 """ |
| 217 Public method to enable the given script. | 213 Public method to enable the given script. |
| 218 | 214 |
