--- a/src/eric7/Preferences/ConfigurationPages/MicroPythonPage.ui Wed Nov 09 10:59:01 2022 +0100 +++ b/src/eric7/Preferences/ConfigurationPages/MicroPythonPage.ui Wed Nov 09 11:22:02 2022 +0100 @@ -6,11 +6,11 @@ <rect> <x>0</x> <y>0</y> - <width>476</width> - <height>1205</height> + <width>541</width> + <height>1293</height> </rect> </property> - <layout class="QVBoxLayout" name="verticalLayout"> + <layout class="QVBoxLayout" name="verticalLayout_2"> <item> <widget class="QLabel" name="headerLabel"> <property name="text"> @@ -57,6 +57,25 @@ </widget> </item> <item> + <widget class="QGroupBox" name="groupBox_12"> + <property name="title"> + <string>Device Selection</string> + </property> + <layout class="QVBoxLayout" name="verticalLayout"> + <item> + <widget class="QCheckBox" name="manualSelectionCheckBox"> + <property name="toolTip"> + <string>Select to enable manual selection of devices (e.g. for unknown devices)</string> + </property> + <property name="text"> + <string>Enable manual device selection</string> + </property> + </widget> + </item> + </layout> + </widget> + </item> + <item> <widget class="QGroupBox" name="groupBox_2"> <property name="title"> <string>Serial Link</string> @@ -529,6 +548,7 @@ </customwidgets> <tabstops> <tabstop>workspacePicker</tabstop> + <tabstop>manualSelectionCheckBox</tabstop> <tabstop>timeoutSpinBox</tabstop> <tabstop>syncTimeCheckBox</tabstop> <tabstop>colorSchemeComboBox</tabstop>