Helpviewer/History/HistoryManager.py

changeset 501
5c615a85241a
parent 488
4174c2707dba
child 539
87f9bce38a44
equal deleted inserted replaced
500:c3abc7895a01 501:5c615a85241a
76 """ 76 """
77 Class implementing the history manager. 77 Class implementing the history manager.
78 78
79 @signal historyCleared() emitted after the history has been cleared 79 @signal historyCleared() emitted after the history has been cleared
80 @signal historyReset() emitted after the history has been reset 80 @signal historyReset() emitted after the history has been reset
81 @signal entryAdded emitted after a history entry has been added 81 @signal entryAdded(HistoryEntry) emitted after a history entry has been added
82 @signal entryRemoved emitted after a history entry has been removed 82 @signal entryRemoved(HistoryEntry) emitted after a history entry has been removed
83 @signal entryUpdated(int) emitted after a history entry has been updated 83 @signal entryUpdated(int) emitted after a history entry has been updated
84 """ 84 """
85 historyCleared = pyqtSignal() 85 historyCleared = pyqtSignal()
86 historyReset = pyqtSignal() 86 historyReset = pyqtSignal()
87 entryAdded = pyqtSignal(HistoryEntry) 87 entryAdded = pyqtSignal(HistoryEntry)

eric ide

mercurial