eric6/WebBrowser/UserAgent/UserAgentManager.py

changeset 8218
7c09585bd960
parent 8143
2c730d5fd177
equal deleted inserted replaced
8217:385f60c94548 8218:7c09585bd960
32 """ 32 """
33 Constructor 33 Constructor
34 34
35 @param parent reference to the parent object (QObject) 35 @param parent reference to the parent object (QObject)
36 """ 36 """
37 super(UserAgentManager, self).__init__(parent) 37 super().__init__(parent)
38 38
39 self.__agents = {} 39 self.__agents = {}
40 # dictionary with agent strings indexed by host name 40 # dictionary with agent strings indexed by host name
41 self.__loaded = False 41 self.__loaded = False
42 self.__saveTimer = AutoSaver(self, self.save) 42 self.__saveTimer = AutoSaver(self, self.save)

eric ide

mercurial