diff -r 4f263b89a293 -r 14e1ee6e720b eric7/Documentation/Source/eric7.QScintilla.Shell.html
--- a/eric7/Documentation/Source/eric7.QScintilla.Shell.html Fri Aug 20 14:19:13 2021 +0200
+++ b/eric7/Documentation/Source/eric7.QScintilla.Shell.html Fri Aug 20 14:19:55 2021 +0200
@@ -544,6 +544,10 @@
<td>Public method to reload the history of the currently selected client type.</td>
</tr>
<tr>
+<td><a href="#Shell.saveContents">saveContents</a></td>
+<td>Public method to save the current contents to a file.</td>
+</tr>
+<tr>
<td><a href="#Shell.saveHistory">saveHistory</a></td>
<td>Public method to save the history for the given client type.</td>
</tr>
@@ -2029,6 +2033,13 @@
Public method to reload the history of the currently selected client
type.
</p>
+<a NAME="Shell.saveContents" ID="Shell.saveContents"></a>
+<h4>Shell.saveContents</h4>
+<b>saveContents</b>(<i></i>)
+
+<p>
+ Public method to save the current contents to a file.
+</p>
<a NAME="Shell.saveHistory" ID="Shell.saveHistory"></a>
<h4>Shell.saveHistory</h4>
<b>saveHistory</b>(<i>clientType</i>)
