eric6/WebBrowser/ZoomManager/ZoomManager.py

changeset 8243
cc717c2ae956
parent 8235
78e6d29eb773
equal deleted inserted replaced
8242:aa713ac50c0d 8243:cc717c2ae956
6 """ 6 """
7 Module implementing a manager for site specific zoom level settings. 7 Module implementing a manager for site specific zoom level settings.
8 """ 8 """
9 9
10 import json 10 import json
11 import contextlib
11 12
12 from PyQt5.QtCore import pyqtSignal, QObject 13 from PyQt5.QtCore import pyqtSignal, QObject
13 14
14 from Utilities.AutoSaver import AutoSaver 15 from Utilities.AutoSaver import AutoSaver
15 import Preferences 16 import Preferences
52 if self.__loaded: 53 if self.__loaded:
53 return 54 return
54 55
55 dbString = Preferences.getWebBrowser("ZoomValuesDB") 56 dbString = Preferences.getWebBrowser("ZoomValuesDB")
56 if dbString: 57 if dbString:
57 try: 58 with contextlib.suppress(ValueError):
58 db = json.loads(dbString) 59 db = json.loads(dbString)
59 self.__zoomDB = db 60 self.__zoomDB = db
60 except ValueError:
61 # ignore silently
62 pass
63 61
64 self.__loaded = True 62 self.__loaded = True
65 63
66 def save(self): 64 def save(self):
67 """ 65 """

eric ide

mercurial