Mercurial Repositories > eric / file comparison
comparison: eric6/Preferences/ConfigurationPages/MicroPythonPage.ui
eric6/Preferences/ConfigurationPages/MicroPythonPage.ui
- branch
- micropython
- changeset 7079
- d1564b590677
- child 7086
- b757db426076
equal
deleted
inserted
replaced
| 7078:bca506f8c756 | 7079:d1564b590677 |
|---|---|
| 1 <?xml version="1.0" encoding="UTF-8"?> | |
| 2 <ui version="4.0"> | |
| 3 <class>MicroPythonPage</class> | |
| 4 <widget class="QWidget" name="MicroPythonPage"> | |
| 5 <property name="geometry"> | |
| 6 <rect> | |
| 7 <x>0</x> | |
| 8 <y>0</y> | |
| 9 <width>477</width> | |
| 10 <height>346</height> | |
| 11 </rect> | |
| 12 </property> | |
| 13 <layout class="QVBoxLayout" name="verticalLayout"> | |
| 14 <item> | |
| 15 <widget class="QLabel" name="headerLabel"> | |
| 16 <property name="text"> | |
| 17 <string><b>Configure MicroPython</b></string> | |
| 18 </property> | |
| 19 </widget> | |
| 20 </item> | |
| 21 <item> | |
| 22 <widget class="Line" name="line9_3"> | |
| 23 <property name="frameShape"> | |
| 24 <enum>QFrame::HLine</enum> | |
| 25 </property> | |
| 26 <property name="frameShadow"> | |
| 27 <enum>QFrame::Sunken</enum> | |
| 28 </property> | |
| 29 <property name="orientation"> | |
| 30 <enum>Qt::Horizontal</enum> | |
| 31 </property> | |
| 32 </widget> | |
| 33 </item> | |
| 34 <item> | |
| 35 <widget class="QLabel" name="label"> | |
| 36 <property name="text"> | |
| 37 <string>Color Scheme for ANSI Escape Codes:</string> | |
| 38 </property> | |
| 39 </widget> | |
| 40 </item> | |
| 41 <item> | |
| 42 <widget class="QComboBox" name="colorSchemeComboBox"> | |
| 43 <property name="toolTip"> | |
| 44 <string>Select the color scheme to be applied for ANSI color escape codes</string> | |
| 45 </property> | |
| 46 </widget> | |
| 47 </item> | |
| 48 <item> | |
| 49 <spacer name="verticalSpacer"> | |
| 50 <property name="orientation"> | |
| 51 <enum>Qt::Vertical</enum> | |
| 52 </property> | |
| 53 <property name="sizeHint" stdset="0"> | |
| 54 <size> | |
| 55 <width>20</width> | |
| 56 <height>252</height> | |
| 57 </size> | |
| 58 </property> | |
| 59 </spacer> | |
| 60 </item> | |
| 61 </layout> | |
| 62 </widget> | |
| 63 <resources/> | |
| 64 <connections/> | |
| 65 </ui> |
