diff -r 4543b7876047 -r 11245ac9c258 src/eric7/Documentation/Source/eric7.MicroPython.MicroPythonFileManagerWidget.html
--- a/src/eric7/Documentation/Source/eric7.MicroPython.MicroPythonFileManagerWidget.html Mon Feb 13 17:53:27 2023 +0100
+++ b/src/eric7/Documentation/Source/eric7.MicroPython.MicroPythonFileManagerWidget.html Mon Feb 13 17:55:13 2023 +0100
@@ -207,6 +207,10 @@
<td>Private slot to go up one directory level.</td>
</tr>
<tr>
+<td><a href="#MicroPythonFileManagerWidget.on_openButton_clicked">on_openButton_clicked</a></td>
+<td>Private slot to open the selected file in a new editor.</td>
+</tr>
+<tr>
<td><a href="#MicroPythonFileManagerWidget.on_putAsButton_clicked">on_putAsButton_clicked</a></td>
<td>Private slot to copy the selected file to the connected device with a different name.</td>
</tr>
@@ -215,6 +219,14 @@
<td>Private slot to copy the selected file to the connected device.</td>
</tr>
<tr>
+<td><a href="#MicroPythonFileManagerWidget.on_saveAsButton_clicked">on_saveAsButton_clicked</a></td>
+<td>Private slot to save the current editor in a new file on the connected device.</td>
+</tr>
+<tr>
+<td><a href="#MicroPythonFileManagerWidget.on_saveButton_clicked">on_saveButton_clicked</a></td>
+<td>Private slot to save the text of the current editor to a file on the device.</td>
+</tr>
+<tr>
<td><a href="#MicroPythonFileManagerWidget.on_syncButton_clicked">on_syncButton_clicked</a></td>
<td>Private slot to synchronize the local directory to the device.</td>
</tr>
@@ -711,6 +723,13 @@
<p>
Private slot to go up one directory level.
</p>
+<a NAME="MicroPythonFileManagerWidget.on_openButton_clicked" ID="MicroPythonFileManagerWidget.on_openButton_clicked"></a>
+<h4>MicroPythonFileManagerWidget.on_openButton_clicked</h4>
+<b>on_openButton_clicked</b>(<i></i>)
+
+<p>
+ Private slot to open the selected file in a new editor.
+</p>
<a NAME="MicroPythonFileManagerWidget.on_putAsButton_clicked" ID="MicroPythonFileManagerWidget.on_putAsButton_clicked"></a>
<h4>MicroPythonFileManagerWidget.on_putAsButton_clicked</h4>
<b>on_putAsButton_clicked</b>(<i></i>)
@@ -733,6 +752,20 @@
flag indicating to give it a new name
</dd>
</dl>
+<a NAME="MicroPythonFileManagerWidget.on_saveAsButton_clicked" ID="MicroPythonFileManagerWidget.on_saveAsButton_clicked"></a>
+<h4>MicroPythonFileManagerWidget.on_saveAsButton_clicked</h4>
+<b>on_saveAsButton_clicked</b>(<i></i>)
+
+<p>
+ Private slot to save the current editor in a new file on the connected device.
+</p>
+<a NAME="MicroPythonFileManagerWidget.on_saveButton_clicked" ID="MicroPythonFileManagerWidget.on_saveButton_clicked"></a>
+<h4>MicroPythonFileManagerWidget.on_saveButton_clicked</h4>
+<b>on_saveButton_clicked</b>(<i>saveAs=False</i>)
+
+<p>
+ Private slot to save the text of the current editor to a file on the device.
+</p>
<a NAME="MicroPythonFileManagerWidget.on_syncButton_clicked" ID="MicroPythonFileManagerWidget.on_syncButton_clicked"></a>
<h4>MicroPythonFileManagerWidget.on_syncButton_clicked</h4>
<b>on_syncButton_clicked</b>(<i></i>)
