--- a/src/eric7/Documentation/Help/source.qhp Tue Mar 18 18:32:29 2025 +0100 +++ b/src/eric7/Documentation/Help/source.qhp Thu Mar 20 11:54:57 2025 +0100 @@ -11875,6 +11875,7 @@ <keyword name="MicrobitDevice.deviceName" id="MicrobitDevice.deviceName" ref="eric7.MicroPython.Devices.MicrobitDevices.html#MicrobitDevice.deviceName" /> <keyword name="MicrobitDevice.forceInterrupt" id="MicrobitDevice.forceInterrupt" ref="eric7.MicroPython.Devices.MicrobitDevices.html#MicrobitDevice.forceInterrupt" /> <keyword name="MicrobitDevice.getBluetoothStatus" id="MicrobitDevice.getBluetoothStatus" ref="eric7.MicroPython.Devices.MicrobitDevices.html#MicrobitDevice.getBluetoothStatus" /> + <keyword name="MicrobitDevice.getBoardInformation" id="MicrobitDevice.getBoardInformation" ref="eric7.MicroPython.Devices.MicrobitDevices.html#MicrobitDevice.getBoardInformation" /> <keyword name="MicrobitDevice.getDeviceScan" id="MicrobitDevice.getDeviceScan" ref="eric7.MicroPython.Devices.MicrobitDevices.html#MicrobitDevice.getDeviceScan" /> <keyword name="MicrobitDevice.getDocumentationUrl" id="MicrobitDevice.getDocumentationUrl" ref="eric7.MicroPython.Devices.MicrobitDevices.html#MicrobitDevice.getDocumentationUrl" /> <keyword name="MicrobitDevice.getDownloadMenuEntries" id="MicrobitDevice.getDownloadMenuEntries" ref="eric7.MicroPython.Devices.MicrobitDevices.html#MicrobitDevice.getDownloadMenuEntries" /> @@ -11996,6 +11997,8 @@ <keyword name="MiniEditor.getSearchSelectionHighlight" id="MiniEditor.getSearchSelectionHighlight" ref="eric7.QScintilla.MiniEditor.html#MiniEditor.getSearchSelectionHighlight" /> <keyword name="MiniEditor.gotoLine" id="MiniEditor.gotoLine" ref="eric7.QScintilla.MiniEditor.html#MiniEditor.gotoLine" /> <keyword name="MiniEditor.highlightSearchSelection" id="MiniEditor.highlightSearchSelection" ref="eric7.QScintilla.MiniEditor.html#MiniEditor.highlightSearchSelection" /> + <keyword name="MiniEditor.isMicroPythonFile" id="MiniEditor.isMicroPythonFile" ref="eric7.QScintilla.MiniEditor.html#MiniEditor.isMicroPythonFile" /> + <keyword name="MiniEditor.isPy3File" id="MiniEditor.isPy3File" ref="eric7.QScintilla.MiniEditor.html#MiniEditor.isPy3File" /> <keyword name="MiniEditor.setFileName" id="MiniEditor.setFileName" ref="eric7.QScintilla.MiniEditor.html#MiniEditor.setFileName" /> <keyword name="MiniEditor.setLanguage" id="MiniEditor.setLanguage" ref="eric7.QScintilla.MiniEditor.html#MiniEditor.setLanguage" /> <keyword name="MiniEditor.setModified" id="MiniEditor.setModified" ref="eric7.QScintilla.MiniEditor.html#MiniEditor.setModified" />