comparison: Helpviewer/UserAgent/UserAgentManager.py
Helpviewer/UserAgent/UserAgentManager.py
- changeset 1680
- 28e57079dab5
- parent 1626
- a77c8ea8582c
- child 1687
- 5efcb0cea376
equal
deleted
inserted
replaced
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 """ |