Documentation/Source/eric5.Helpviewer.History.HistoryManager.html

changeset 1626
a77c8ea8582c
parent 1621
85653d5d3bf9
child 1853
01812b281a1e
--- 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>)

eric ide

mercurial