Helpviewer/UserAgent/UserAgentManager.py

changeset 1626
a77c8ea8582c
parent 1623
6b9654035a7c
child 1680
28e57079dab5
equal deleted inserted replaced
1625:4f03e45703e9 1626:a77c8ea8582c
98 host, agent = line.split("@@", 1) 98 host, agent = line.split("@@", 1)
99 self.__agents[host] = agent 99 self.__agents[host] = agent
100 100
101 self.__loaded = True 101 self.__loaded = True
102 102
103 def reload(self):
104 """
105 Public method to reload the user agent settings.
106 """
107 if not self.__loaded:
108 return
109
110 self.__agents = {}
111 self.__load()
112 self.changed.emit()
113
103 def close(self): 114 def close(self):
104 """ 115 """
105 Public method to close the user agents manager. 116 Public method to close the user agents manager.
106 """ 117 """
107 self.__saveTimer.saveIfNeccessary() 118 self.__saveTimer.saveIfNeccessary()

eric ide

mercurial