diff -r e9e1b704af11 -r 6b9654035a7c Helpviewer/History/HistoryManager.py
--- a/Helpviewer/History/HistoryManager.py Wed Feb 15 15:49:44 2012 +0100
+++ b/Helpviewer/History/HistoryManager.py Wed Feb 15 16:05:11 2012 +0100
@@ -87,12 +87,14 @@
@signal entryAdded(HistoryEntry) emitted after a history entry has been added
@signal entryRemoved(HistoryEntry) emitted after a history entry has been removed
@signal entryUpdated(int) emitted after a history entry has been updated
+ @signal historySaved() emitted after the history was saved
"""
historyCleared = pyqtSignal()
historyReset = pyqtSignal()
entryAdded = pyqtSignal(HistoryEntry)
entryRemoved = pyqtSignal(HistoryEntry)
entryUpdated = pyqtSignal(int)
+ historySaved = pyqtSignal()
def __init__(self, parent=None):
"""
@@ -458,7 +460,7 @@
self.trUtf8("""<p>Error moving new history file over old one """
"""(<b>{0}</b>).<br/>Reason: {1}</p>""")\
.format(historyFile.fileName(), f.errorString()))
-
+ self.historySaved.emit()
try:
self.__lastSavedUrl = self.__history[0].url
except IndexError:
