diff -r e9e1b704af11 -r 6b9654035a7c Helpviewer/UserAgent/UserAgentManager.py
--- a/Helpviewer/UserAgent/UserAgentManager.py Wed Feb 15 15:49:44 2012 +0100
+++ b/Helpviewer/UserAgent/UserAgentManager.py Wed Feb 15 16:05:11 2012 +0100
@@ -22,8 +22,10 @@
Class implementing a user agent manager.
@signal changed() emitted to indicate a change
+ @signal userAgentSettingsSaved() emitted after the user agent settings were saved
"""
changed = pyqtSignal()
+ userAgentSettingsSaved = pyqtSignal()
def __init__(self, parent=None):
"""
@@ -60,6 +62,7 @@
for host, agent in self.__agents.items():
f.write("{0}@@{1}\n".format(host, agent))
f.close()
+ self.userAgentSettingsSaved.emit()
except IOError as err:
E5MessageBox.critical(None,
self.trUtf8("Saving user agent data"),
