src/eric7/Preferences/ConfigurationPages/MicroPythonPage.ui

branch
eric7
changeset 9498
d48061567354
parent 9413
80c06d472826
child 9776
210bf87ae5c7
equal deleted inserted replaced
9497:8beca4047c53 9498:d48061567354
4 <widget class="QWidget" name="MicroPythonPage"> 4 <widget class="QWidget" name="MicroPythonPage">
5 <property name="geometry"> 5 <property name="geometry">
6 <rect> 6 <rect>
7 <x>0</x> 7 <x>0</x>
8 <y>0</y> 8 <y>0</y>
9 <width>476</width> 9 <width>541</width>
10 <height>1205</height> 10 <height>1293</height>
11 </rect> 11 </rect>
12 </property> 12 </property>
13 <layout class="QVBoxLayout" name="verticalLayout"> 13 <layout class="QVBoxLayout" name="verticalLayout_2">
14 <item> 14 <item>
15 <widget class="QLabel" name="headerLabel"> 15 <widget class="QLabel" name="headerLabel">
16 <property name="text"> 16 <property name="text">
17 <string>&lt;b&gt;Configure MicroPython&lt;/b&gt;</string> 17 <string>&lt;b&gt;Configure MicroPython&lt;/b&gt;</string>
18 </property> 18 </property>
48 <property name="focusPolicy"> 48 <property name="focusPolicy">
49 <enum>Qt::StrongFocus</enum> 49 <enum>Qt::StrongFocus</enum>
50 </property> 50 </property>
51 <property name="toolTip"> 51 <property name="toolTip">
52 <string>Enter the name of the MicroPython workspace directory</string> 52 <string>Enter the name of the MicroPython workspace directory</string>
53 </property>
54 </widget>
55 </item>
56 </layout>
57 </widget>
58 </item>
59 <item>
60 <widget class="QGroupBox" name="groupBox_12">
61 <property name="title">
62 <string>Device Selection</string>
63 </property>
64 <layout class="QVBoxLayout" name="verticalLayout">
65 <item>
66 <widget class="QCheckBox" name="manualSelectionCheckBox">
67 <property name="toolTip">
68 <string>Select to enable manual selection of devices (e.g. for unknown devices)</string>
69 </property>
70 <property name="text">
71 <string>Enable manual device selection</string>
53 </property> 72 </property>
54 </widget> 73 </widget>
55 </item> 74 </item>
56 </layout> 75 </layout>
57 </widget> 76 </widget>
527 <container>1</container> 546 <container>1</container>
528 </customwidget> 547 </customwidget>
529 </customwidgets> 548 </customwidgets>
530 <tabstops> 549 <tabstops>
531 <tabstop>workspacePicker</tabstop> 550 <tabstop>workspacePicker</tabstop>
551 <tabstop>manualSelectionCheckBox</tabstop>
532 <tabstop>timeoutSpinBox</tabstop> 552 <tabstop>timeoutSpinBox</tabstop>
533 <tabstop>syncTimeCheckBox</tabstop> 553 <tabstop>syncTimeCheckBox</tabstop>
534 <tabstop>colorSchemeComboBox</tabstop> 554 <tabstop>colorSchemeComboBox</tabstop>
535 <tabstop>replWrapCheckBox</tabstop> 555 <tabstop>replWrapCheckBox</tabstop>
536 <tabstop>chartThemeComboBox</tabstop> 556 <tabstop>chartThemeComboBox</tabstop>

eric ide

mercurial