eric6/WebBrowser/Feeds/FeedsManager.py

changeset 8221
0572a215bd2f
parent 8218
7c09585bd960
child 8260
2161475d9639
equal deleted inserted replaced
8220:006ee31b4835 8221:0572a215bd2f
89 89
90 if not self.__loaded: 90 if not self.__loaded:
91 self.__load() 91 self.__load()
92 92
93 # step 1: check, if feed was already added 93 # step 1: check, if feed was already added
94 for feed in self.__feeds: 94 if any(feed[0] == urlString for feed in self.__feeds):
95 if feed[0] == urlString: 95 return False
96 return False
97 96
98 # step 2: add the feed 97 # step 2: add the feed
99 if icon.isNull(): 98 if icon.isNull():
100 icon = UI.PixmapCache.getIcon("rss16") 99 icon = UI.PixmapCache.getIcon("rss16")
101 feed = (urlString, title, icon) 100 feed = (urlString, title, icon)

eric ide

mercurial