vitalif
/
openscad
mirror of https://github.com/vitalif/openscad
1
0
Fork 0
Code Issues Releases Wiki Activity

Improved editor tab layout

master
Marius Kintel 2014-07-17 15:28:14 -04:00
parent 74ec208581
commit 6b95307ae1
1 changed files with 596 additions and 595 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

167
src/Preferences.ui
View File

@ -6,8 +6,8 @@
<rect> <rect>
<x>0</x> <x>0</x>
<y>0</y> <y>0</y>
<width>823</width> <width>584</width>
<height>440</height> <height>403</height>
</rect> </rect>
</property> </property>
<property name="sizePolicy"> <property name="sizePolicy">
@ -23,9 +23,15 @@
<bool>true</bool> <bool>true</bool>
</property> </property>
<widget class="QWidget" name="centralwidget"> <widget class="QWidget" name="centralwidget">
<layout class="QVBoxLayout" name="verticalLayout">
<item>
<widget class="QStackedWidget" name="stackedWidget"> <widget class="QStackedWidget" name="stackedWidget">
<property name="geometry">
<rect>
<x>10</x>
<y>10</y>
<width>470</width>
<height>899</height>
</rect>
</property>
<property name="currentIndex"> <property name="currentIndex">
<number>1</number> <number>1</number>
</property> </property>
@ -100,15 +106,24 @@
</layout> </layout>
</widget> </widget>
<widget class="QWidget" name="pageEditor"> <widget class="QWidget" name="pageEditor">
<widget class="QComboBox" name="editorType"> <layout class="QVBoxLayout" name="verticalLayout">
<property name="geometry"> <item>
<rect> <layout class="QHBoxLayout" name="horizontalLayout_5">
<x>100</x> <item>
<y>10</y> <widget class="QLabel" name="label_12">
<width>271</width> <property name="font">
<height>27</height> <font>
</rect> <weight>75</weight>
<bold>true</bold>
</font>
</property> </property>
<property name="text">
<string>Editor Type</string>
</property>
</widget>
</item>
<item>
<widget class="QComboBox" name="editorType">
<item> <item>
<property name="text"> <property name="text">
<string>Simple Editor</string> <string>Simple Editor</string>
@ -120,30 +135,42 @@
</property> </property>
</item> </item>
</widget> </widget>
<widget class="QLabel" name="label_12"> </item>
<property name="geometry"> <item>
<rect> <widget class="QLabel" name="label_13">
<x>9</x> <property name="font">
<y>9</y> <font>
<width>81</width> <pointsize>10</pointsize>
<height>31</height> <weight>50</weight>
</rect> <bold>false</bold>
</font>
</property> </property>
<property name="text"> <property name="text">
<string>Editor Type</string> <string>(requires restart)</string>
</property> </property>
</widget> </widget>
<widget class="QWidget" name=""> </item>
<property name="geometry"> <item>
<rect> <spacer name="horizontalSpacer_7">
<x>10</x> <property name="orientation">
<y>50</y> <enum>Qt::Horizontal</enum>
<width>352</width>
<height>55</height>
</rect>
</property> </property>
<layout class="QGridLayout" name="gridLayout"> <property name="sizeType">
<item row="0" column="0"> <enum>QSizePolicy::Expanding</enum>
</property>
<property name="sizeHint" stdset="0">
<size>
<width>30</width>
<height>20</height>
</size>
</property>
</spacer>
</item>
</layout>
</item>
<item>
<layout class="QHBoxLayout" name="horizontalLayout_6">
<item>
<widget class="QLabel" name="label_3"> <widget class="QLabel" name="label_3">
<property name="font"> <property name="font">
<font> <font>
@ -159,37 +186,24 @@
</property> </property>
</widget> </widget>
</item> </item>
<item row="0" column="1"> <item>
<spacer name="horizontalSpacer_4">
<property name="orientation">
<enum>Qt::Horizontal</enum>
</property>
<property name="sizeHint" stdset="0">
<size>
<width>40</width>
<height>20</height>
</size>
</property>
</spacer>
</item>
<item row="1" column="0" colspan="2">
<widget class="QFontComboBox" name="fontChooser"> <widget class="QFontComboBox" name="fontChooser">
<property name="currentFont"> <property name="currentFont">
<font> <font>
<family>DejaVu Sans</family> <family>Helvetica</family>
<pointsize>12</pointsize> <pointsize>12</pointsize>
</font> </font>
</property> </property>
</widget> </widget>
</item> </item>
<item row="1" column="2"> <item>
<widget class="QComboBox" name="fontSize"> <widget class="QComboBox" name="fontSize">
<property name="editable"> <property name="editable">
<bool>true</bool> <bool>true</bool>
</property> </property>
</widget> </widget>
</item> </item>
<item row="1" column="3"> <item>
<spacer name="horizontalSpacer_5"> <spacer name="horizontalSpacer_5">
<property name="orientation"> <property name="orientation">
<enum>Qt::Horizontal</enum> <enum>Qt::Horizontal</enum>
@ -203,16 +217,8 @@
</spacer> </spacer>
</item> </item>
</layout> </layout>
</widget> </item>
<widget class="QWidget" name=""> <item>
<property name="geometry">
<rect>
<x>10</x>
<y>110</y>
<width>400</width>
<height>29</height>
</rect>
</property>
<layout class="QHBoxLayout" name="syntaxHighlightLayout"> <layout class="QHBoxLayout" name="syntaxHighlightLayout">
<property name="bottomMargin"> <property name="bottomMargin">
<number>0</number> <number>0</number>
@ -272,16 +278,8 @@
</spacer> </spacer>
</item> </item>
</layout> </layout>
</widget> </item>
<widget class="QWidget" name=""> <item>
<property name="geometry">
<rect>
<x>10</x>
<y>150</y>
<width>365</width>
<height>27</height>
</rect>
</property>
<layout class="QHBoxLayout" name="mouseWheelZoomLayout"> <layout class="QHBoxLayout" name="mouseWheelZoomLayout">
<property name="topMargin"> <property name="topMargin">
<number>5</number> <number>5</number>
@ -320,7 +318,21 @@
</spacer> </spacer>
</item> </item>
</layout> </layout>
</widget> </item>
<item>
<spacer name="verticalSpacer_4">
<property name="orientation">
<enum>Qt::Vertical</enum>
</property>
<property name="sizeHint" stdset="0">
<size>
<width>20</width>
<height>723</height>
</size>
</property>
</spacer>
</item>
</layout>
</widget> </widget>
<widget class="QWidget" name="pageUpdate"> <widget class="QWidget" name="pageUpdate">
<layout class="QVBoxLayout" name="verticalLayout_16"> <layout class="QVBoxLayout" name="verticalLayout_16">
@ -468,16 +480,7 @@
</widget> </widget>
<widget class="QWidget" name="pageFeatures"> <widget class="QWidget" name="pageFeatures">
<layout class="QGridLayout" name="gridLayout_2"> <layout class="QGridLayout" name="gridLayout_2">
<property name="leftMargin"> <property name="margin">
<number>0</number>
</property>
<property name="topMargin">
<number>0</number>
</property>
<property name="rightMargin">
<number>0</number>
</property>
<property name="bottomMargin">
<number>0</number> <number>0</number>
</property> </property>
<item row="0" column="0"> <item row="0" column="0">
@ -514,8 +517,8 @@
<rect> <rect>
<x>0</x> <x>0</x>
<y>0</y> <y>0</y>
<width>803</width> <width>83</width>
<height>332</height> <height>36</height>
</rect> </rect>
</property> </property>
<layout class="QVBoxLayout" name="verticalLayout_10"> <layout class="QVBoxLayout" name="verticalLayout_10">
@ -675,8 +678,6 @@
</layout> </layout>
</widget> </widget>
</widget> </widget>
</item>
</layout>
</widget> </widget>
<widget class="QToolBar" name="toolBar"> <widget class="QToolBar" name="toolBar">
<property name="windowTitle"> <property name="windowTitle">