Mercurial Repositories > eric / file comparison
comparison: eric6/Preferences/ConfigurationPages/MicroPythonPage.ui
eric6/Preferences/ConfigurationPages/MicroPythonPage.ui
- changeset 8067
- a467ab075be0
- parent 8053
- 5316e335722f
- child 8091
- c000526a6d0d
equal
deleted
inserted
replaced
| 8066:1208cdae96b6 | 8067:a467ab075be0 |
|---|---|
| 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>476</width> |
| 10 <height>1031</height> | 10 <height>1087</height> |
| 11 </rect> | 11 </rect> |
| 12 </property> | 12 </property> |
| 13 <layout class="QVBoxLayout" name="verticalLayout"> | 13 <layout class="QVBoxLayout" name="verticalLayout"> |
| 14 <item> | 14 <item> |
| 15 <widget class="QLabel" name="headerLabel"> | 15 <widget class="QLabel" name="headerLabel"> |
| 27 <enum>QFrame::Sunken</enum> | 27 <enum>QFrame::Sunken</enum> |
| 28 </property> | 28 </property> |
| 29 <property name="orientation"> | 29 <property name="orientation"> |
| 30 <enum>Qt::Horizontal</enum> | 30 <enum>Qt::Horizontal</enum> |
| 31 </property> | 31 </property> |
| 32 </widget> | |
| 33 </item> | |
| 34 <item> | |
| 35 <widget class="QGroupBox" name="groupBox_4"> | |
| 36 <property name="title"> | |
| 37 <string>Workspace</string> | |
| 38 </property> | |
| 39 <layout class="QHBoxLayout" name="horizontalLayout_4"> | |
| 40 <item> | |
| 41 <widget class="E5PathPicker" name="workspacePicker" native="true"> | |
| 42 <property name="sizePolicy"> | |
| 43 <sizepolicy hsizetype="Expanding" vsizetype="Preferred"> | |
| 44 <horstretch>0</horstretch> | |
| 45 <verstretch>0</verstretch> | |
| 46 </sizepolicy> | |
| 47 </property> | |
| 48 <property name="focusPolicy"> | |
| 49 <enum>Qt::StrongFocus</enum> | |
| 50 </property> | |
| 51 <property name="toolTip"> | |
| 52 <string>Enter the name of the MicroPython workspace directory</string> | |
| 53 </property> | |
| 54 </widget> | |
| 55 </item> | |
| 56 </layout> | |
| 32 </widget> | 57 </widget> |
| 33 </item> | 58 </item> |
| 34 <item> | 59 <item> |
| 35 <widget class="QGroupBox" name="groupBox_2"> | 60 <widget class="QGroupBox" name="groupBox_2"> |
| 36 <property name="title"> | 61 <property name="title"> |
| 447 <extends>QLineEdit</extends> | 472 <extends>QLineEdit</extends> |
| 448 <header>E5Gui/E5LineEdit.h</header> | 473 <header>E5Gui/E5LineEdit.h</header> |
| 449 </customwidget> | 474 </customwidget> |
| 450 </customwidgets> | 475 </customwidgets> |
| 451 <tabstops> | 476 <tabstops> |
| 477 <tabstop>workspacePicker</tabstop> | |
| 452 <tabstop>timeoutSpinBox</tabstop> | 478 <tabstop>timeoutSpinBox</tabstop> |
| 453 <tabstop>syncTimeCheckBox</tabstop> | 479 <tabstop>syncTimeCheckBox</tabstop> |
| 454 <tabstop>colorSchemeComboBox</tabstop> | 480 <tabstop>colorSchemeComboBox</tabstop> |
| 455 <tabstop>replWrapCheckBox</tabstop> | 481 <tabstop>replWrapCheckBox</tabstop> |
| 456 <tabstop>chartThemeComboBox</tabstop> | 482 <tabstop>chartThemeComboBox</tabstop> |
