src/settingseditor/settingseditor.ui

Thu, 15 Jun 2023 16:18:03 +0300

author
Teemu Piippo <teemu.s.piippo@gmail.com>
date
Thu, 15 Jun 2023 16:18:03 +0300
changeset 383
530d23cd4e97
parent 357
66c75604f5b8
permissions
-rw-r--r--

Refactor, make selecting elements from the model select the corresponding line from the editor as well

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>
357
66c75604f5b8 Add settings import and export
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 356
diff changeset
9 <width>972</width>
66c75604f5b8 Add settings import and export
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 356
diff changeset
10 <height>817</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>
357
66c75604f5b8 Add settings import and export
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 356
diff changeset
33 <width>948</width>
66c75604f5b8 Add settings import and export
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 356
diff changeset
34 <height>746</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>
357
66c75604f5b8 Add settings import and export
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 356
diff changeset
162 <item>
66c75604f5b8 Add settings import and export
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 356
diff changeset
163 <widget class="QGroupBox" name="groupBox_4">
66c75604f5b8 Add settings import and export
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 356
diff changeset
164 <property name="title">
66c75604f5b8 Add settings import and export
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 356
diff changeset
165 <string>Export settings</string>
66c75604f5b8 Add settings import and export
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 356
diff changeset
166 </property>
66c75604f5b8 Add settings import and export
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 356
diff changeset
167 <layout class="QVBoxLayout" name="verticalLayout_7">
66c75604f5b8 Add settings import and export
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 356
diff changeset
168 <item>
66c75604f5b8 Add settings import and export
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 356
diff changeset
169 <widget class="QPushButton" name="exportSettingsButton">
66c75604f5b8 Add settings import and export
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 356
diff changeset
170 <property name="text">
66c75604f5b8 Add settings import and export
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 356
diff changeset
171 <string>Export settings to file…</string>
66c75604f5b8 Add settings import and export
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 356
diff changeset
172 </property>
66c75604f5b8 Add settings import and export
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 356
diff changeset
173 <property name="icon">
66c75604f5b8 Add settings import and export
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 356
diff changeset
174 <iconset resource="../../resources.qrc">
66c75604f5b8 Add settings import and export
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 356
diff changeset
175 <normaloff>:/icons/save-as-outline.png</normaloff>:/icons/save-as-outline.png</iconset>
66c75604f5b8 Add settings import and export
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 356
diff changeset
176 </property>
66c75604f5b8 Add settings import and export
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 356
diff changeset
177 </widget>
66c75604f5b8 Add settings import and export
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 356
diff changeset
178 </item>
66c75604f5b8 Add settings import and export
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 356
diff changeset
179 <item>
66c75604f5b8 Add settings import and export
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 356
diff changeset
180 <widget class="QPushButton" name="importSettingsButton">
66c75604f5b8 Add settings import and export
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 356
diff changeset
181 <property name="text">
66c75604f5b8 Add settings import and export
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 356
diff changeset
182 <string>Import settings from file…</string>
66c75604f5b8 Add settings import and export
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 356
diff changeset
183 </property>
66c75604f5b8 Add settings import and export
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 356
diff changeset
184 <property name="icon">
66c75604f5b8 Add settings import and export
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 356
diff changeset
185 <iconset resource="../../resources.qrc">
66c75604f5b8 Add settings import and export
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 356
diff changeset
186 <normaloff>:/icons/folder-open-outline.png</normaloff>:/icons/folder-open-outline.png</iconset>
66c75604f5b8 Add settings import and export
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 356
diff changeset
187 </property>
66c75604f5b8 Add settings import and export
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 356
diff changeset
188 </widget>
66c75604f5b8 Add settings import and export
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 356
diff changeset
189 </item>
66c75604f5b8 Add settings import and export
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 356
diff changeset
190 </layout>
66c75604f5b8 Add settings import and export
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 356
diff changeset
191 </widget>
66c75604f5b8 Add settings import and export
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 356
diff changeset
192 </item>
283
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
193 </layout>
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
194 </item>
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
195 <item>
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
196 <spacer name="horizontalSpacer">
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
197 <property name="orientation">
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
198 <enum>Qt::Horizontal</enum>
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
199 </property>
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
200 <property name="sizeHint" stdset="0">
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
201 <size>
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
202 <width>40</width>
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
203 <height>20</height>
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
204 </size>
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
205 </property>
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
206 </spacer>
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
207 </item>
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
208 </layout>
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
209 </widget>
356
65b4741b302d Made editor font configurable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 347
diff changeset
210 <widget class="QWidget" name="tab_3">
65b4741b302d Made editor font configurable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 347
diff changeset
211 <attribute name="title">
65b4741b302d Made editor font configurable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 347
diff changeset
212 <string>Code editor</string>
65b4741b302d Made editor font configurable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 347
diff changeset
213 </attribute>
65b4741b302d Made editor font configurable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 347
diff changeset
214 <layout class="QVBoxLayout" name="verticalLayout_6">
65b4741b302d Made editor font configurable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 347
diff changeset
215 <item>
65b4741b302d Made editor font configurable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 347
diff changeset
216 <widget class="QGroupBox" name="groupBox_3">
65b4741b302d Made editor font configurable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 347
diff changeset
217 <property name="title">
65b4741b302d Made editor font configurable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 347
diff changeset
218 <string>Editor font</string>
65b4741b302d Made editor font configurable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 347
diff changeset
219 </property>
65b4741b302d Made editor font configurable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 347
diff changeset
220 <layout class="QVBoxLayout" name="verticalLayout_5">
65b4741b302d Made editor font configurable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 347
diff changeset
221 <item>
65b4741b302d Made editor font configurable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 347
diff changeset
222 <widget class="QCheckBox" name="codeEditorSystemFont">
65b4741b302d Made editor font configurable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 347
diff changeset
223 <property name="text">
65b4741b302d Made editor font configurable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 347
diff changeset
224 <string>Use system font</string>
65b4741b302d Made editor font configurable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 347
diff changeset
225 </property>
65b4741b302d Made editor font configurable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 347
diff changeset
226 </widget>
65b4741b302d Made editor font configurable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 347
diff changeset
227 </item>
65b4741b302d Made editor font configurable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 347
diff changeset
228 <item>
65b4741b302d Made editor font configurable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 347
diff changeset
229 <layout class="QHBoxLayout" name="horizontalLayout_2" stretch="1,0">
65b4741b302d Made editor font configurable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 347
diff changeset
230 <item>
65b4741b302d Made editor font configurable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 347
diff changeset
231 <widget class="QFontComboBox" name="codeEditorFontFamily">
65b4741b302d Made editor font configurable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 347
diff changeset
232 <property name="fontFilters">
65b4741b302d Made editor font configurable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 347
diff changeset
233 <set>QFontComboBox::MonospacedFonts</set>
65b4741b302d Made editor font configurable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 347
diff changeset
234 </property>
65b4741b302d Made editor font configurable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 347
diff changeset
235 </widget>
65b4741b302d Made editor font configurable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 347
diff changeset
236 </item>
65b4741b302d Made editor font configurable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 347
diff changeset
237 <item>
65b4741b302d Made editor font configurable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 347
diff changeset
238 <widget class="QSpinBox" name="codeEditorFontSize">
65b4741b302d Made editor font configurable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 347
diff changeset
239 <property name="suffix">
65b4741b302d Made editor font configurable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 347
diff changeset
240 <string>pt</string>
65b4741b302d Made editor font configurable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 347
diff changeset
241 </property>
65b4741b302d Made editor font configurable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 347
diff changeset
242 <property name="minimum">
65b4741b302d Made editor font configurable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 347
diff changeset
243 <number>4</number>
65b4741b302d Made editor font configurable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 347
diff changeset
244 </property>
65b4741b302d Made editor font configurable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 347
diff changeset
245 <property name="maximum">
65b4741b302d Made editor font configurable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 347
diff changeset
246 <number>100</number>
65b4741b302d Made editor font configurable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 347
diff changeset
247 </property>
65b4741b302d Made editor font configurable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 347
diff changeset
248 </widget>
65b4741b302d Made editor font configurable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 347
diff changeset
249 </item>
65b4741b302d Made editor font configurable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 347
diff changeset
250 </layout>
65b4741b302d Made editor font configurable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 347
diff changeset
251 </item>
65b4741b302d Made editor font configurable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 347
diff changeset
252 </layout>
65b4741b302d Made editor font configurable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 347
diff changeset
253 </widget>
65b4741b302d Made editor font configurable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 347
diff changeset
254 </item>
65b4741b302d Made editor font configurable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 347
diff changeset
255 <item>
65b4741b302d Made editor font configurable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 347
diff changeset
256 <spacer name="verticalSpacer_3">
65b4741b302d Made editor font configurable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 347
diff changeset
257 <property name="orientation">
65b4741b302d Made editor font configurable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 347
diff changeset
258 <enum>Qt::Vertical</enum>
65b4741b302d Made editor font configurable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 347
diff changeset
259 </property>
65b4741b302d Made editor font configurable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 347
diff changeset
260 <property name="sizeHint" stdset="0">
65b4741b302d Made editor font configurable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 347
diff changeset
261 <size>
65b4741b302d Made editor font configurable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 347
diff changeset
262 <width>20</width>
65b4741b302d Made editor font configurable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 347
diff changeset
263 <height>263</height>
65b4741b302d Made editor font configurable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 347
diff changeset
264 </size>
65b4741b302d Made editor font configurable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 347
diff changeset
265 </property>
65b4741b302d Made editor font configurable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 347
diff changeset
266 </spacer>
65b4741b302d Made editor font configurable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 347
diff changeset
267 </item>
65b4741b302d Made editor font configurable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 347
diff changeset
268 </layout>
65b4741b302d Made editor font configurable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 347
diff changeset
269 </widget>
283
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
270 <widget class="QWidget" name="tabLdrawLibraries">
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
271 <attribute name="title">
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
272 <string>LDraw parts libraries</string>
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
273 </attribute>
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
274 </widget>
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
275 <widget class="QWidget" name="tab">
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
276 <attribute name="title">
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
277 <string>Keyboard shortcuts</string>
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
278 </attribute>
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
279 <layout class="QVBoxLayout" name="verticalLayout_2">
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
280 <item>
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
281 <widget class="QTableView" name="keyboardShortcutsView"/>
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
282 </item>
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
283 </layout>
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
284 </widget>
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
285 <widget class="QWidget" name="tab_2">
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
286 <attribute name="title">
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
287 <string>Debug</string>
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
288 </attribute>
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
289 <layout class="QFormLayout" name="formLayout_3">
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
290 <item row="1" column="1">
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
291 <spacer name="verticalSpacer_2">
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
292 <property name="orientation">
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
293 <enum>Qt::Vertical</enum>
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
294 </property>
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
295 <property name="sizeHint" stdset="0">
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
296 <size>
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
297 <width>20</width>
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
298 <height>40</height>
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
299 </size>
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
300 </property>
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
301 </spacer>
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
302 </item>
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
303 <item row="0" column="1">
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
304 <widget class="QCheckBox" name="logOpenGLDebugMessages">
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
305 <property name="text">
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
306 <string>Log OpenGL debug messages</string>
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
307 </property>
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
308 </widget>
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
309 </item>
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
310 </layout>
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
311 </widget>
7
68443f5be176 added the settings editor
Teemu Piippo <teemu@hecknology.net>
parents:
diff changeset
312 </widget>
68443f5be176 added the settings editor
Teemu Piippo <teemu@hecknology.net>
parents:
diff changeset
313 </item>
39
caac957e9834 Main color is now configurable
Teemu Piippo <teemu@hecknology.net>
parents: 16
diff changeset
314 <item>
caac957e9834 Main color is now configurable
Teemu Piippo <teemu@hecknology.net>
parents: 16
diff changeset
315 <spacer name="verticalSpacer">
caac957e9834 Main color is now configurable
Teemu Piippo <teemu@hecknology.net>
parents: 16
diff changeset
316 <property name="orientation">
caac957e9834 Main color is now configurable
Teemu Piippo <teemu@hecknology.net>
parents: 16
diff changeset
317 <enum>Qt::Vertical</enum>
caac957e9834 Main color is now configurable
Teemu Piippo <teemu@hecknology.net>
parents: 16
diff changeset
318 </property>
caac957e9834 Main color is now configurable
Teemu Piippo <teemu@hecknology.net>
parents: 16
diff changeset
319 <property name="sizeHint" stdset="0">
caac957e9834 Main color is now configurable
Teemu Piippo <teemu@hecknology.net>
parents: 16
diff changeset
320 <size>
caac957e9834 Main color is now configurable
Teemu Piippo <teemu@hecknology.net>
parents: 16
diff changeset
321 <width>20</width>
283
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
322 <height>2</height>
39
caac957e9834 Main color is now configurable
Teemu Piippo <teemu@hecknology.net>
parents: 16
diff changeset
323 </size>
caac957e9834 Main color is now configurable
Teemu Piippo <teemu@hecknology.net>
parents: 16
diff changeset
324 </property>
caac957e9834 Main color is now configurable
Teemu Piippo <teemu@hecknology.net>
parents: 16
diff changeset
325 </spacer>
caac957e9834 Main color is now configurable
Teemu Piippo <teemu@hecknology.net>
parents: 16
diff changeset
326 </item>
7
68443f5be176 added the settings editor
Teemu Piippo <teemu@hecknology.net>
parents:
diff changeset
327 </layout>
68443f5be176 added the settings editor
Teemu Piippo <teemu@hecknology.net>
parents:
diff changeset
328 </widget>
68443f5be176 added the settings editor
Teemu Piippo <teemu@hecknology.net>
parents:
diff changeset
329 </widget>
68443f5be176 added the settings editor
Teemu Piippo <teemu@hecknology.net>
parents:
diff changeset
330 </item>
68443f5be176 added the settings editor
Teemu Piippo <teemu@hecknology.net>
parents:
diff changeset
331 <item>
68443f5be176 added the settings editor
Teemu Piippo <teemu@hecknology.net>
parents:
diff changeset
332 <widget class="QDialogButtonBox" name="buttonBox">
68443f5be176 added the settings editor
Teemu Piippo <teemu@hecknology.net>
parents:
diff changeset
333 <property name="orientation">
68443f5be176 added the settings editor
Teemu Piippo <teemu@hecknology.net>
parents:
diff changeset
334 <enum>Qt::Horizontal</enum>
68443f5be176 added the settings editor
Teemu Piippo <teemu@hecknology.net>
parents:
diff changeset
335 </property>
68443f5be176 added the settings editor
Teemu Piippo <teemu@hecknology.net>
parents:
diff changeset
336 <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
337 <set>QDialogButtonBox::Cancel|QDialogButtonBox::Ok|QDialogButtonBox::Reset</set>
7
68443f5be176 added the settings editor
Teemu Piippo <teemu@hecknology.net>
parents:
diff changeset
338 </property>
68443f5be176 added the settings editor
Teemu Piippo <teemu@hecknology.net>
parents:
diff changeset
339 </widget>
68443f5be176 added the settings editor
Teemu Piippo <teemu@hecknology.net>
parents:
diff changeset
340 </item>
68443f5be176 added the settings editor
Teemu Piippo <teemu@hecknology.net>
parents:
diff changeset
341 </layout>
68443f5be176 added the settings editor
Teemu Piippo <teemu@hecknology.net>
parents:
diff changeset
342 </widget>
39
caac957e9834 Main color is now configurable
Teemu Piippo <teemu@hecknology.net>
parents: 16
diff changeset
343 <customwidgets>
caac957e9834 Main color is now configurable
Teemu Piippo <teemu@hecknology.net>
parents: 16
diff changeset
344 <customwidget>
347
5c655cc006de Rename ColorButton -> ColorEdit
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 344
diff changeset
345 <class>ColorEdit</class>
356
65b4741b302d Made editor font configurable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 347
diff changeset
346 <extends>QWidget</extends>
65b4741b302d Made editor font configurable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 347
diff changeset
347 <header>widgets/coloredit.h</header>
39
caac957e9834 Main color is now configurable
Teemu Piippo <teemu@hecknology.net>
parents: 16
diff changeset
348 </customwidget>
caac957e9834 Main color is now configurable
Teemu Piippo <teemu@hecknology.net>
parents: 16
diff changeset
349 </customwidgets>
357
66c75604f5b8 Add settings import and export
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 356
diff changeset
350 <resources>
66c75604f5b8 Add settings import and export
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 356
diff changeset
351 <include location="../../resources.qrc"/>
66c75604f5b8 Add settings import and export
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 356
diff changeset
352 <include location="../../resources.qrc"/>
66c75604f5b8 Add settings import and export
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 356
diff changeset
353 </resources>
285
99af8bf63d10 Don't create more than one settings editor
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 283
diff changeset
354 <connections/>
202
b05af0bab735 Replaced the tab widget with an MDI area
Teemu Piippo <teemu@hecknology.net>
parents: 48
diff changeset
355 <buttongroups>
b05af0bab735 Replaced the tab widget with an MDI area
Teemu Piippo <teemu@hecknology.net>
parents: 48
diff changeset
356 <buttongroup name="viewModeButtonGroup"/>
b05af0bab735 Replaced the tab widget with an MDI area
Teemu Piippo <teemu@hecknology.net>
parents: 48
diff changeset
357 </buttongroups>
7
68443f5be176 added the settings editor
Teemu Piippo <teemu@hecknology.net>
parents:
diff changeset
358 </ui>

mercurial