diff -r 3733e2b23cf7 -r a071d4065202 src/eric7/Documentation/Source/eric7.MicroPython.MicroPythonWidget.html
--- a/src/eric7/Documentation/Source/eric7.MicroPython.MicroPythonWidget.html Wed Dec 20 11:06:38 2023 +0100
+++ b/src/eric7/Documentation/Source/eric7.MicroPython.MicroPythonWidget.html Wed Dec 20 14:58:58 2023 +0100
@@ -774,7 +774,12 @@
<dt>Return:</dt>
<dd>
flag indicating a micro:bit device
- rtype bool
+</dd>
+</dl>
+<dl>
+<dt>Return Type:</dt>
+<dd>
+bool
</dd>
</dl>
<a NAME="MicroPythonWidget.on_chartButton_clicked" ID="MicroPythonWidget.on_chartButton_clicked"></a>
