Helpviewer/History/HistoryManager.py

changeset 1623
6b9654035a7c
parent 1621
85653d5d3bf9
child 1626
a77c8ea8582c
--- 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:

eric ide

mercurial