src/settingseditor/settingseditor.ui

Sat, 08 Apr 2023 16:59:55 +0300

author
Teemu Piippo <teemu.s.piippo@gmail.com>
date
Sat, 08 Apr 2023 16:59:55 +0300
changeset 355
e81f4ad53efd
parent 347
5c655cc006de
child 356
65b4741b302d
permissions
-rw-r--r--

Move the about dialog to MainWindow. The hack to retrieve GL extensions is made a bit cleaner

7
68443f5be176 added the settings editor
Teemu Piippo <teemu@hecknology.net>
parents:
diff changeset
1 <?xml version="1.0" encoding="UTF-8"?>
68443f5be176 added the settings editor
Teemu Piippo <teemu@hecknology.net>
parents:
diff changeset
2 <ui version="4.0">
68443f5be176 added the settings editor
Teemu Piippo <teemu@hecknology.net>
parents:
diff changeset
3 <class>SettingsEditor</class>
285
99af8bf63d10 Don't create more than one settings editor
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 283
diff changeset
4 <widget class="QWidget" name="SettingsEditor">
7
68443f5be176 added the settings editor
Teemu Piippo <teemu@hecknology.net>
parents:
diff changeset
5 <property name="geometry">
68443f5be176 added the settings editor
Teemu Piippo <teemu@hecknology.net>
parents:
diff changeset
6 <rect>
68443f5be176 added the settings editor
Teemu Piippo <teemu@hecknology.net>
parents:
diff changeset
7 <x>0</x>
68443f5be176 added the settings editor
Teemu Piippo <teemu@hecknology.net>
parents:
diff changeset
8 <y>0</y>
285
99af8bf63d10 Don't create more than one settings editor
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 283
diff changeset
9 <width>718</width>
99af8bf63d10 Don't create more than one settings editor
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 283
diff changeset
10 <height>629</height>
7
68443f5be176 added the settings editor
Teemu Piippo <teemu@hecknology.net>
parents:
diff changeset
11 </rect>
68443f5be176 added the settings editor
Teemu Piippo <teemu@hecknology.net>
parents:
diff changeset
12 </property>
68443f5be176 added the settings editor
Teemu Piippo <teemu@hecknology.net>
parents:
diff changeset
13 <property name="windowTitle">
285
99af8bf63d10 Don't create more than one settings editor
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 283
diff changeset
14 <string>Settings</string>
7
68443f5be176 added the settings editor
Teemu Piippo <teemu@hecknology.net>
parents:
diff changeset
15 </property>
283
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
16 <layout class="QVBoxLayout" name="verticalLayout_4">
7
68443f5be176 added the settings editor
Teemu Piippo <teemu@hecknology.net>
parents:
diff changeset
17 <item>
283
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
18 <widget class="QScrollArea" name="scrollArea">
285
99af8bf63d10 Don't create more than one settings editor
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 283
diff changeset
19 <property name="minimumSize">
99af8bf63d10 Don't create more than one settings editor
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 283
diff changeset
20 <size>
99af8bf63d10 Don't create more than one settings editor
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 283
diff changeset
21 <width>96</width>
99af8bf63d10 Don't create more than one settings editor
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 283
diff changeset
22 <height>96</height>
99af8bf63d10 Don't create more than one settings editor
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 283
diff changeset
23 </size>
99af8bf63d10 Don't create more than one settings editor
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 283
diff changeset
24 </property>
283
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
25 <property name="widgetResizable">
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
26 <bool>true</bool>
7
68443f5be176 added the settings editor
Teemu Piippo <teemu@hecknology.net>
parents:
diff changeset
27 </property>
283
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
28 <widget class="QWidget" name="scrollAreaWidgetContents">
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
29 <property name="geometry">
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
30 <rect>
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
31 <x>0</x>
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
32 <y>0</y>
341
71c8cea3c205 Save settings as soon as they are changed, Cancel and Reset buttons revert changes
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 335
diff changeset
33 <width>694</width>
335
c5830bce1c23 Fix crashing
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 286
diff changeset
34 <height>558</height>
283
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
35 </rect>
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
36 </property>
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
37 <layout class="QVBoxLayout" name="verticalLayout">
39
caac957e9834 Main color is now configurable
Teemu Piippo <teemu@hecknology.net>
parents: 16
diff changeset
38 <item>
283
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
39 <widget class="QTabWidget" name="tabWidget">
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
40 <property name="currentIndex">
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
41 <number>0</number>
7
68443f5be176 added the settings editor
Teemu Piippo <teemu@hecknology.net>
parents:
diff changeset
42 </property>
283
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
43 <widget class="QWidget" name="tabGeneral">
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
44 <attribute name="title">
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
45 <string>General</string>
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
46 </attribute>
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
47 <layout class="QHBoxLayout" name="horizontalLayout">
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
48 <item>
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
49 <layout class="QVBoxLayout" name="verticalLayout_3">
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
50 <item>
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
51 <widget class="QGroupBox" name="groupBox">
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
52 <property name="title">
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
53 <string>Interface</string>
39
caac957e9834 Main color is now configurable
Teemu Piippo <teemu@hecknology.net>
parents: 16
diff changeset
54 </property>
283
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
55 <layout class="QFormLayout" name="formLayout">
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
56 <item row="0" column="0">
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
57 <widget class="QLabel" name="label_6">
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
58 <property name="text">
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
59 <string>View mode:</string>
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
60 </property>
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
61 </widget>
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
62 </item>
286
04478da357d0 Disable language changing for now (translations won't go into 1.0)
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 285
diff changeset
63 <item row="0" column="1">
283
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
64 <layout class="QHBoxLayout" name="horizontalLayout_3">
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
65 <item>
286
04478da357d0 Disable language changing for now (translations won't go into 1.0)
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 285
diff changeset
66 <widget class="QRadioButton" name="viewModeSubWindows">
04478da357d0 Disable language changing for now (translations won't go into 1.0)
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 285
diff changeset
67 <property name="toolTip">
04478da357d0 Disable language changing for now (translations won't go into 1.0)
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 285
diff changeset
68 <string>Arrange opened documents using resizable and movable subwindows</string>
04478da357d0 Disable language changing for now (translations won't go into 1.0)
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 285
diff changeset
69 </property>
04478da357d0 Disable language changing for now (translations won't go into 1.0)
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 285
diff changeset
70 <property name="text">
04478da357d0 Disable language changing for now (translations won't go into 1.0)
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 285
diff changeset
71 <string>Subwindows</string>
04478da357d0 Disable language changing for now (translations won't go into 1.0)
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 285
diff changeset
72 </property>
04478da357d0 Disable language changing for now (translations won't go into 1.0)
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 285
diff changeset
73 <attribute name="buttonGroup">
04478da357d0 Disable language changing for now (translations won't go into 1.0)
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 285
diff changeset
74 <string notr="true">viewModeButtonGroup</string>
04478da357d0 Disable language changing for now (translations won't go into 1.0)
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 285
diff changeset
75 </attribute>
04478da357d0 Disable language changing for now (translations won't go into 1.0)
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 285
diff changeset
76 </widget>
04478da357d0 Disable language changing for now (translations won't go into 1.0)
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 285
diff changeset
77 </item>
04478da357d0 Disable language changing for now (translations won't go into 1.0)
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 285
diff changeset
78 <item>
283
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
79 <widget class="QRadioButton" name="viewModeTabs">
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
80 <property name="toolTip">
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
81 <string>Arrange opened documents using tabs</string>
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
82 </property>
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
83 <property name="text">
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
84 <string>Tabs</string>
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
85 </property>
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
86 <attribute name="buttonGroup">
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
87 <string notr="true">viewModeButtonGroup</string>
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
88 </attribute>
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
89 </widget>
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
90 </item>
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
91 </layout>
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
92 </item>
335
c5830bce1c23 Fix crashing
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 286
diff changeset
93 <item row="1" column="0">
c5830bce1c23 Fix crashing
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 286
diff changeset
94 <widget class="QLabel" name="label">
c5830bce1c23 Fix crashing
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 286
diff changeset
95 <property name="text">
c5830bce1c23 Fix crashing
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 286
diff changeset
96 <string>Tool button style:</string>
c5830bce1c23 Fix crashing
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 286
diff changeset
97 </property>
c5830bce1c23 Fix crashing
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 286
diff changeset
98 </widget>
c5830bce1c23 Fix crashing
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 286
diff changeset
99 </item>
c5830bce1c23 Fix crashing
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 286
diff changeset
100 <item row="1" column="1">
c5830bce1c23 Fix crashing
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 286
diff changeset
101 <widget class="QComboBox" name="toolButtonStyle"/>
c5830bce1c23 Fix crashing
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 286
diff changeset
102 </item>
283
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
103 </layout>
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
104 </widget>
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
105 </item>
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
106 <item>
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
107 <widget class="QGroupBox" name="groupBox_2">
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
108 <property name="title">
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
109 <string>Rendering</string>
39
caac957e9834 Main color is now configurable
Teemu Piippo <teemu@hecknology.net>
parents: 16
diff changeset
110 </property>
283
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
111 <layout class="QFormLayout" name="formLayout_2">
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
112 <item row="0" column="0">
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
113 <widget class="QLabel" name="label_2">
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
114 <property name="text">
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
115 <string>Main colour:</string>
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
116 </property>
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
117 </widget>
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
118 </item>
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
119 <item row="0" column="1">
347
5c655cc006de Rename ColorButton -> ColorEdit
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 344
diff changeset
120 <widget class="ColorEdit" name="mainColorButton"/>
283
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
121 </item>
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
122 <item row="1" column="0">
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
123 <widget class="QLabel" name="label_5">
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
124 <property name="text">
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
125 <string>Selected colour:</string>
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
126 </property>
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
127 </widget>
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
128 </item>
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
129 <item row="1" column="1">
347
5c655cc006de Rename ColorButton -> ColorEdit
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 344
diff changeset
130 <widget class="ColorEdit" name="selectedColorButton"/>
283
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
131 </item>
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
132 <item row="2" column="0">
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
133 <widget class="QLabel" name="label_3">
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
134 <property name="text">
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
135 <string>Background colour:</string>
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
136 </property>
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
137 </widget>
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
138 </item>
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
139 <item row="2" column="1">
347
5c655cc006de Rename ColorButton -> ColorEdit
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 344
diff changeset
140 <widget class="ColorEdit" name="backgroundColorButton"/>
283
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
141 </item>
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
142 <item row="3" column="0">
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
143 <widget class="QLabel" name="label_4">
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
144 <property name="text">
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
145 <string>Line thickness:</string>
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
146 </property>
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
147 </widget>
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
148 </item>
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
149 <item row="3" column="1">
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
150 <widget class="QDoubleSpinBox" name="lineThickness"/>
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
151 </item>
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
152 <item row="4" column="0">
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
153 <widget class="QCheckBox" name="lineAntiAliasing">
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
154 <property name="text">
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
155 <string>Line anti-aliasing</string>
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
156 </property>
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
157 </widget>
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
158 </item>
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
159 </layout>
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
160 </widget>
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
161 </item>
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
162 </layout>
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
163 </item>
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
164 <item>
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
165 <spacer name="horizontalSpacer">
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
166 <property name="orientation">
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
167 <enum>Qt::Horizontal</enum>
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
168 </property>
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
169 <property name="sizeHint" stdset="0">
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
170 <size>
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
171 <width>40</width>
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
172 <height>20</height>
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
173 </size>
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
174 </property>
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
175 </spacer>
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
176 </item>
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
177 </layout>
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
178 </widget>
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
179 <widget class="QWidget" name="tabLdrawLibraries">
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
180 <attribute name="title">
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
181 <string>LDraw parts libraries</string>
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
182 </attribute>
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
183 </widget>
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
184 <widget class="QWidget" name="tab">
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
185 <attribute name="title">
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
186 <string>Keyboard shortcuts</string>
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
187 </attribute>
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
188 <layout class="QVBoxLayout" name="verticalLayout_2">
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
189 <item>
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
190 <widget class="QTableView" name="keyboardShortcutsView"/>
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
191 </item>
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
192 </layout>
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
193 </widget>
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
194 <widget class="QWidget" name="tab_2">
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
195 <attribute name="title">
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
196 <string>Debug</string>
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
197 </attribute>
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
198 <layout class="QFormLayout" name="formLayout_3">
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
199 <item row="1" column="1">
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
200 <spacer name="verticalSpacer_2">
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
201 <property name="orientation">
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
202 <enum>Qt::Vertical</enum>
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
203 </property>
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
204 <property name="sizeHint" stdset="0">
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
205 <size>
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
206 <width>20</width>
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
207 <height>40</height>
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
208 </size>
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
209 </property>
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
210 </spacer>
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
211 </item>
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
212 <item row="0" column="1">
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
213 <widget class="QCheckBox" name="logOpenGLDebugMessages">
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
214 <property name="text">
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
215 <string>Log OpenGL debug messages</string>
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
216 </property>
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
217 </widget>
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
218 </item>
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
219 </layout>
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
220 </widget>
7
68443f5be176 added the settings editor
Teemu Piippo <teemu@hecknology.net>
parents:
diff changeset
221 </widget>
68443f5be176 added the settings editor
Teemu Piippo <teemu@hecknology.net>
parents:
diff changeset
222 </item>
39
caac957e9834 Main color is now configurable
Teemu Piippo <teemu@hecknology.net>
parents: 16
diff changeset
223 <item>
caac957e9834 Main color is now configurable
Teemu Piippo <teemu@hecknology.net>
parents: 16
diff changeset
224 <spacer name="verticalSpacer">
caac957e9834 Main color is now configurable
Teemu Piippo <teemu@hecknology.net>
parents: 16
diff changeset
225 <property name="orientation">
caac957e9834 Main color is now configurable
Teemu Piippo <teemu@hecknology.net>
parents: 16
diff changeset
226 <enum>Qt::Vertical</enum>
caac957e9834 Main color is now configurable
Teemu Piippo <teemu@hecknology.net>
parents: 16
diff changeset
227 </property>
caac957e9834 Main color is now configurable
Teemu Piippo <teemu@hecknology.net>
parents: 16
diff changeset
228 <property name="sizeHint" stdset="0">
caac957e9834 Main color is now configurable
Teemu Piippo <teemu@hecknology.net>
parents: 16
diff changeset
229 <size>
caac957e9834 Main color is now configurable
Teemu Piippo <teemu@hecknology.net>
parents: 16
diff changeset
230 <width>20</width>
283
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
231 <height>2</height>
39
caac957e9834 Main color is now configurable
Teemu Piippo <teemu@hecknology.net>
parents: 16
diff changeset
232 </size>
caac957e9834 Main color is now configurable
Teemu Piippo <teemu@hecknology.net>
parents: 16
diff changeset
233 </property>
caac957e9834 Main color is now configurable
Teemu Piippo <teemu@hecknology.net>
parents: 16
diff changeset
234 </spacer>
caac957e9834 Main color is now configurable
Teemu Piippo <teemu@hecknology.net>
parents: 16
diff changeset
235 </item>
7
68443f5be176 added the settings editor
Teemu Piippo <teemu@hecknology.net>
parents:
diff changeset
236 </layout>
68443f5be176 added the settings editor
Teemu Piippo <teemu@hecknology.net>
parents:
diff changeset
237 </widget>
68443f5be176 added the settings editor
Teemu Piippo <teemu@hecknology.net>
parents:
diff changeset
238 </widget>
68443f5be176 added the settings editor
Teemu Piippo <teemu@hecknology.net>
parents:
diff changeset
239 </item>
68443f5be176 added the settings editor
Teemu Piippo <teemu@hecknology.net>
parents:
diff changeset
240 <item>
68443f5be176 added the settings editor
Teemu Piippo <teemu@hecknology.net>
parents:
diff changeset
241 <widget class="QDialogButtonBox" name="buttonBox">
68443f5be176 added the settings editor
Teemu Piippo <teemu@hecknology.net>
parents:
diff changeset
242 <property name="orientation">
68443f5be176 added the settings editor
Teemu Piippo <teemu@hecknology.net>
parents:
diff changeset
243 <enum>Qt::Horizontal</enum>
68443f5be176 added the settings editor
Teemu Piippo <teemu@hecknology.net>
parents:
diff changeset
244 </property>
68443f5be176 added the settings editor
Teemu Piippo <teemu@hecknology.net>
parents:
diff changeset
245 <property name="standardButtons">
341
71c8cea3c205 Save settings as soon as they are changed, Cancel and Reset buttons revert changes
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 335
diff changeset
246 <set>QDialogButtonBox::Cancel|QDialogButtonBox::Ok|QDialogButtonBox::Reset</set>
7
68443f5be176 added the settings editor
Teemu Piippo <teemu@hecknology.net>
parents:
diff changeset
247 </property>
68443f5be176 added the settings editor
Teemu Piippo <teemu@hecknology.net>
parents:
diff changeset
248 </widget>
68443f5be176 added the settings editor
Teemu Piippo <teemu@hecknology.net>
parents:
diff changeset
249 </item>
68443f5be176 added the settings editor
Teemu Piippo <teemu@hecknology.net>
parents:
diff changeset
250 </layout>
68443f5be176 added the settings editor
Teemu Piippo <teemu@hecknology.net>
parents:
diff changeset
251 </widget>
39
caac957e9834 Main color is now configurable
Teemu Piippo <teemu@hecknology.net>
parents: 16
diff changeset
252 <customwidgets>
caac957e9834 Main color is now configurable
Teemu Piippo <teemu@hecknology.net>
parents: 16
diff changeset
253 <customwidget>
347
5c655cc006de Rename ColorButton -> ColorEdit
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 344
diff changeset
254 <class>ColorEdit</class>
39
caac957e9834 Main color is now configurable
Teemu Piippo <teemu@hecknology.net>
parents: 16
diff changeset
255 <extends>QPushButton</extends>
caac957e9834 Main color is now configurable
Teemu Piippo <teemu@hecknology.net>
parents: 16
diff changeset
256 <header>widgets/colorbutton.h</header>
caac957e9834 Main color is now configurable
Teemu Piippo <teemu@hecknology.net>
parents: 16
diff changeset
257 </customwidget>
caac957e9834 Main color is now configurable
Teemu Piippo <teemu@hecknology.net>
parents: 16
diff changeset
258 </customwidgets>
7
68443f5be176 added the settings editor
Teemu Piippo <teemu@hecknology.net>
parents:
diff changeset
259 <resources/>
285
99af8bf63d10 Don't create more than one settings editor
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 283
diff changeset
260 <connections/>
202
b05af0bab735 Replaced the tab widget with an MDI area
Teemu Piippo <teemu@hecknology.net>
parents: 48
diff changeset
261 <buttongroups>
b05af0bab735 Replaced the tab widget with an MDI area
Teemu Piippo <teemu@hecknology.net>
parents: 48
diff changeset
262 <buttongroup name="viewModeButtonGroup"/>
b05af0bab735 Replaced the tab widget with an MDI area
Teemu Piippo <teemu@hecknology.net>
parents: 48
diff changeset
263 </buttongroups>
7
68443f5be176 added the settings editor
Teemu Piippo <teemu@hecknology.net>
parents:
diff changeset
264 </ui>

mercurial