542 <tr> |
542 <tr> |
543 <td><a href="#Shell.reloadHistory">reloadHistory</a></td> |
543 <td><a href="#Shell.reloadHistory">reloadHistory</a></td> |
544 <td>Public method to reload the history of the currently selected client type.</td> |
544 <td>Public method to reload the history of the currently selected client type.</td> |
545 </tr> |
545 </tr> |
546 <tr> |
546 <tr> |
|
547 <td><a href="#Shell.saveContents">saveContents</a></td> |
|
548 <td>Public method to save the current contents to a file.</td> |
|
549 </tr> |
|
550 <tr> |
547 <td><a href="#Shell.saveHistory">saveHistory</a></td> |
551 <td><a href="#Shell.saveHistory">saveHistory</a></td> |
548 <td>Public method to save the history for the given client type.</td> |
552 <td>Public method to save the history for the given client type.</td> |
549 </tr> |
553 </tr> |
550 <tr> |
554 <tr> |
551 <td><a href="#Shell.searchNext">searchNext</a></td> |
555 <td><a href="#Shell.searchNext">searchNext</a></td> |
2026 <b>reloadHistory</b>(<i></i>) |
2030 <b>reloadHistory</b>(<i></i>) |
2027 |
2031 |
2028 <p> |
2032 <p> |
2029 Public method to reload the history of the currently selected client |
2033 Public method to reload the history of the currently selected client |
2030 type. |
2034 type. |
|
2035 </p> |
|
2036 <a NAME="Shell.saveContents" ID="Shell.saveContents"></a> |
|
2037 <h4>Shell.saveContents</h4> |
|
2038 <b>saveContents</b>(<i></i>) |
|
2039 |
|
2040 <p> |
|
2041 Public method to save the current contents to a file. |
2031 </p> |
2042 </p> |
2032 <a NAME="Shell.saveHistory" ID="Shell.saveHistory"></a> |
2043 <a NAME="Shell.saveHistory" ID="Shell.saveHistory"></a> |
2033 <h4>Shell.saveHistory</h4> |
2044 <h4>Shell.saveHistory</h4> |
2034 <b>saveHistory</b>(<i>clientType</i>) |
2045 <b>saveHistory</b>(<i>clientType</i>) |
2035 |
2046 |