WebBrowser/ZoomManager/ZoomManager.py

changeset 4971
0f21662c0d2d
parent 4817
0a4e2fb0e93c
child 5389
9b1c800daff3
equal deleted inserted replaced
4970:dcbb14191a3b 4971:0f21662c0d2d
209 return None 209 return None
210 210
211 return self.__zoomDB[site] 211 return self.__zoomDB[site]
212 212
213 213
214 __ZoomManager = None 214 _ZoomManager = None
215 215
216 216
217 def instance(): 217 def instance():
218 """ 218 """
219 Global function to get a reference to the zoom manager and create it, if 219 Global function to get a reference to the zoom manager and create it, if
220 it hasn't been yet. 220 it hasn't been yet.
221 221
222 @return reference to the zoom manager object 222 @return reference to the zoom manager object
223 @rtype ZoomManager 223 @rtype ZoomManager
224 """ 224 """
225 global __ZoomManager 225 global _ZoomManager
226 226
227 if __ZoomManager is None: 227 if _ZoomManager is None:
228 __ZoomManager = ZoomManager() 228 _ZoomManager = ZoomManager()
229 229
230 return __ZoomManager 230 return _ZoomManager

eric ide

mercurial