Helpviewer/UserAgent/UserAgentManager.py

changeset 1680
28e57079dab5
parent 1626
a77c8ea8582c
child 1687
5efcb0cea376
equal deleted inserted replaced
1679:422cc500eef9 1680:28e57079dab5
107 if not self.__loaded: 107 if not self.__loaded:
108 return 108 return
109 109
110 self.__agents = {} 110 self.__agents = {}
111 self.__load() 111 self.__load()
112 self.changed.emit()
113 112
114 def close(self): 113 def close(self):
115 """ 114 """
116 Public method to close the user agents manager. 115 Public method to close the user agents manager.
117 """ 116 """

eric ide

mercurial