WebBrowser/Tools/WebIconProvider.py

changeset 4971
0f21662c0d2d
parent 4907
1e3d61349671
child 5389
9b1c800daff3
equal deleted inserted replaced
4970:dcbb14191a3b 4971:0f21662c0d2d
229 changed = True 229 changed = True
230 if changed: 230 if changed:
231 self.changed.emit() 231 self.changed.emit()
232 232
233 233
234 __WebIconProvider = None 234 _WebIconProvider = None
235 235
236 236
237 def instance(): 237 def instance():
238 """ 238 """
239 Global function to get a reference to the web icon provider and create it, 239 Global function to get a reference to the web icon provider and create it,
240 if it hasn't been yet. 240 if it hasn't been yet.
241 241
242 @return reference to the web icon provider object 242 @return reference to the web icon provider object
243 @rtype WebIconProvider 243 @rtype WebIconProvider
244 """ 244 """
245 global __WebIconProvider 245 global _WebIconProvider
246 246
247 if __WebIconProvider is None: 247 if _WebIconProvider is None:
248 __WebIconProvider = WebIconProvider() 248 _WebIconProvider = WebIconProvider()
249 249
250 return __WebIconProvider 250 return _WebIconProvider

eric ide

mercurial