diff -r 4f03e45703e9 -r a77c8ea8582c Helpviewer/UserAgent/UserAgentManager.py
--- a/Helpviewer/UserAgent/UserAgentManager.py Thu Feb 16 19:01:32 2012 +0100
+++ b/Helpviewer/UserAgent/UserAgentManager.py Fri Feb 17 19:39:37 2012 +0100
@@ -100,6 +100,17 @@
self.__loaded = True
+ def reload(self):
+ """
+ Public method to reload the user agent settings.
+ """
+ if not self.__loaded:
+ return
+
+ self.__agents = {}
+ self.__load()
+ self.changed.emit()
+
def close(self):
"""
Public method to close the user agents manager.
