eric6/WebBrowser/ZoomManager/ZoomManager.py

changeset 8235
78e6d29eb773
parent 8218
7c09585bd960
child 8243
cc717c2ae956
equal deleted inserted replaced
8234:fcb6b4b96274 8235:78e6d29eb773
140 140
141 key = self.__keyFromUrl(url) 141 key = self.__keyFromUrl(url)
142 if not key: 142 if not key:
143 zoom = 100 143 zoom = 100
144 144
145 if key in self.__zoomDB: 145 # default zoom value (i.e. no zoom)
146 zoom = self.__zoomDB[key] 146 zoom = self.__zoomDB.get(key, 100)
147 else:
148 # default zoom value (i.e. no zoom)
149 zoom = 100
150 147
151 return zoom 148 return zoom
152 149
153 def clear(self): 150 def clear(self):
154 """ 151 """

eric ide

mercurial