diff -r 4f03e45703e9 -r a77c8ea8582c Documentation/Source/eric5.Helpviewer.History.HistoryManager.html
--- a/Documentation/Source/eric5.Helpviewer.History.HistoryManager.html Thu Feb 16 19:01:32 2012 +0100
+++ b/Documentation/Source/eric5.Helpviewer.History.HistoryManager.html Fri Feb 17 19:39:37 2012 +0100
@@ -160,6 +160,9 @@
</dd><dt>historyReset()</dt>
<dd>
emitted after the history has been reset
+</dd><dt>historySaved()</dt>
+<dd>
+emitted after the history was saved
</dd>
</dl>
<h3>Derived from</h3>
@@ -229,6 +232,9 @@
<td><a href="#HistoryManager.preferencesChanged">preferencesChanged</a></td>
<td>Public method to indicate a change of preferences.</td>
</tr><tr>
+<td><a href="#HistoryManager.reload">reload</a></td>
+<td>Public method to reload the history.</td>
+</tr><tr>
<td><a href="#HistoryManager.removeHistoryEntry">removeHistoryEntry</a></td>
<td>Public method to remove a history entry.</td>
</tr><tr>
@@ -399,6 +405,11 @@
<b>preferencesChanged</b>(<i></i>)
<p>
Public method to indicate a change of preferences.
+</p><a NAME="HistoryManager.reload" ID="HistoryManager.reload"></a>
+<h4>HistoryManager.reload</h4>
+<b>reload</b>(<i></i>)
+<p>
+ Public method to reload the history.
</p><a NAME="HistoryManager.removeHistoryEntry" ID="HistoryManager.removeHistoryEntry"></a>
<h4>HistoryManager.removeHistoryEntry</h4>
<b>removeHistoryEntry</b>(<i>url, title=""</i>)
