Mercurial Repositories > eric / file diff

diff -r 006ee31b4835 -r 0572a215bd2f eric6/WebBrowser/Feeds/FeedsManager.py
--- a/eric6/WebBrowser/Feeds/FeedsManager.py	Sun Apr 11 12:38:16 2021 +0200
+++ b/eric6/WebBrowser/Feeds/FeedsManager.py	Sun Apr 11 16:53:48 2021 +0200
@@ -91,9 +91,8 @@
             self.__load()
         
         # step 1: check, if feed was already added
-        for feed in self.__feeds:
-            if feed[0] == urlString:
-                return False
+        if any(feed[0] == urlString for feed in self.__feeds):
+            return False
         
         # step 2: add the feed
         if icon.isNull():