diff -r d657c9bc8cb0 -r 46e371226a22 src/eric7/Documentation/Help/source.qhp
--- a/src/eric7/Documentation/Help/source.qhp Tue Feb 28 09:45:03 2023 +0100
+++ b/src/eric7/Documentation/Help/source.qhp Wed Mar 01 09:03:13 2023 +0100
@@ -10727,6 +10727,7 @@
<keyword name="MicroPythonWidget.on_replButton_clicked" id="MicroPythonWidget.on_replButton_clicked" ref="eric7.MicroPython.MicroPythonWidget.html#MicroPythonWidget.on_replButton_clicked" />
<keyword name="MicroPythonWidget.on_runButton_clicked" id="MicroPythonWidget.on_runButton_clicked" ref="eric7.MicroPython.MicroPythonWidget.html#MicroPythonWidget.on_runButton_clicked" />
<keyword name="MicroPythonWidget.setActionButtons" id="MicroPythonWidget.setActionButtons" ref="eric7.MicroPython.MicroPythonWidget.html#MicroPythonWidget.setActionButtons" />
+ <keyword name="MicroPythonWidget.shutdown" id="MicroPythonWidget.shutdown" ref="eric7.MicroPython.MicroPythonWidget.html#MicroPythonWidget.shutdown" />
<keyword name="MicrobitDevice" id="MicrobitDevice" ref="eric7.MicroPython.Devices.MicrobitDevices.html#MicrobitDevice" />
<keyword name="MicrobitDevice (Constructor)" id="MicrobitDevice (Constructor)" ref="eric7.MicroPython.Devices.MicrobitDevices.html#MicrobitDevice.__init__" />
<keyword name="MicrobitDevice.__createMicrobitMenu" id="MicrobitDevice.__createMicrobitMenu" ref="eric7.MicroPython.Devices.MicrobitDevices.html#MicrobitDevice.__createMicrobitMenu" />
