Wed, 19 Apr 2023 22:51:56 +0300
Made library_role_e an enum class
7 | 1 | <?xml version="1.0" encoding="UTF-8"?> |
2 | <ui version="4.0"> | |
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 | 5 | <property name="geometry"> |
6 | <rect> | |
7 | <x>0</x> | |
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 | 11 | </rect> |
12 | </property> | |
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 | 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 | 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 | 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 | 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 | 93 | <item row="1" column="0"> |
94 | <widget class="QLabel" name="label"> | |
95 | <property name="text"> | |
96 | <string>Tool button style:</string> | |
97 | </property> | |
98 | </widget> | |
99 | </item> | |
100 | <item row="1" column="1"> | |
101 | <widget class="QComboBox" name="toolButtonStyle"/> | |
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 | 312 | </widget> |
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 | 327 | </layout> |
328 | </widget> | |
329 | </widget> | |
330 | </item> | |
331 | <item> | |
332 | <widget class="QDialogButtonBox" name="buttonBox"> | |
333 | <property name="orientation"> | |
334 | <enum>Qt::Horizontal</enum> | |
335 | </property> | |
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 | 338 | </property> |
339 | </widget> | |
340 | </item> | |
341 | </layout> | |
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 | 358 | </ui> |