WebBrowser/Tools/WebIconProvider.py

changeset 4971
0f21662c0d2d
parent 4907
1e3d61349671
child 5389
9b1c800daff3
diff -r dcbb14191a3b -r 0f21662c0d2d WebBrowser/Tools/WebIconProvider.py
--- a/WebBrowser/Tools/WebIconProvider.py	Fri May 06 16:35:40 2016 +0200
+++ b/WebBrowser/Tools/WebIconProvider.py	Sat May 07 15:57:34 2016 +0200
@@ -231,7 +231,7 @@
                 self.changed.emit()
 
 
-__WebIconProvider = None
+_WebIconProvider = None
 
 
 def instance():
@@ -242,9 +242,9 @@
     @return reference to the web icon provider object
     @rtype WebIconProvider
     """
-    global __WebIconProvider
+    global _WebIconProvider
     
-    if __WebIconProvider is None:
-        __WebIconProvider = WebIconProvider()
+    if _WebIconProvider is None:
+        _WebIconProvider = WebIconProvider()
     
-    return __WebIconProvider
+    return _WebIconProvider

eric ide

mercurial