--- a/eric6/Preferences/ConfigurationPages/InterfacePage.ui Sun Jul 07 14:58:07 2019 +0200 +++ b/eric6/Preferences/ConfigurationPages/InterfacePage.ui Sun Jul 07 18:48:17 2019 +0200 @@ -445,6 +445,16 @@ </property> </widget> </item> + <item row="0" column="1"> + <widget class="QCheckBox" name="microPythonCheckBox"> + <property name="toolTip"> + <string>Select to activate the MicroPython widget</string> + </property> + <property name="text"> + <string>MicroPython</string> + </property> + </widget> + </item> </layout> </widget> </item> @@ -518,6 +528,7 @@ <tabstop>fileBrowserCheckBox</tabstop> <tabstop>symbolsCheckBox</tabstop> <tabstop>codeDocumentationViewerCheckBox</tabstop> + <tabstop>microPythonCheckBox</tabstop> <tabstop>pypiCheckBox</tabstop> <tabstop>condaCheckBox</tabstop> <tabstop>cooperationCheckBox</tabstop>