Module implementing the history manager.
HISTORY_VERSION |
HistoryEntry | Class implementing a history entry. |
HistoryManager | Class implementing the history manager. |
None |
Class implementing a history entry.
None |
None |
HistoryEntry | Constructor |
__eq__ | Special method determining equality. |
__lt__ | Special method determining less relation. |
userTitle | Public method to get the title of the history entry. |
None |
Constructor
Special method determining equality.
Special method determining less relation.
Note: History is sorted in reverse order by date and time
Public method to get the title of the history entry.
Class implementing the history manager.
None |
None |
HistoryManager | Constructor |
__checkForExpired | Private slot to check entries for expiration. |
__load | Private method to load the saved history entries from disk. |
__refreshFrequencies | Private slot to recalculate the refresh frequencies. |
__startFrequencyTimer | Private method to start the timer to recalculate the frequencies. |
_addHistoryEntry | Protected method to add a history item. |
_removeHistoryEntry | Protected method to remove a history item. |
addHistoryEntry | Public method to add a history entry. |
clear | Public slot to clear the complete history. |
close | Public method to close the history manager. |
daysToExpire | Public method to get the days for entry expiration. |
history | Public method to return the history. |
historyContains | Public method to check the history for an entry. |
historyFilterModel | Public method to get a reference to the history filter model. |
historyModel | Public method to get a reference to the history model. |
historyTreeModel | Public method to get a reference to the history tree model. |
preferencesChanged | Public method to indicate a change of preferences. |
removeHistoryEntry | Public method to remove a history entry. |
save | Public slot to save the history entries to disk. |
setDaysToExpire | Public method to set the days for entry expiration. |
setHistory | Public method to set a new history. |
updateHistoryEntry | Public method to update a history entry. |
None |
Constructor
Private slot to check entries for expiration.
Private method to load the saved history entries from disk.
Private slot to recalculate the refresh frequencies.
Private method to start the timer to recalculate the frequencies.
Protected method to add a history item.
Protected method to remove a history item.
Public method to add a history entry.
Public slot to clear the complete history.
Public method to close the history manager.
Public method to get the days for entry expiration.
Public method to return the history.
Public method to check the history for an entry.
Public method to get a reference to the history filter model.
Public method to get a reference to the history model.
Public method to get a reference to the history tree model.
Public method to indicate a change of preferences.
Public method to remove a history entry.
Public slot to save the history entries to disk.
Public method to set the days for entry expiration.
Public method to set a new history.
Public method to update a history entry.