Sat, 08 Apr 2023 15:34:32 +0300
Opening recently opened files works again now
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> | |
285
99af8bf63d10
Don't create more than one settings editor
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
283
diff
changeset
|
9 | <width>718</width> |
99af8bf63d10
Don't create more than one settings editor
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
283
diff
changeset
|
10 | <height>629</height> |
7 | 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> |
341
71c8cea3c205
Save settings as soon as they are changed, Cancel and Reset buttons revert changes
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
335
diff
changeset
|
33 | <width>694</width> |
335 | 34 | <height>558</height> |
283
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
35 | </rect> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
36 | </property> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
37 | <layout class="QVBoxLayout" name="verticalLayout"> |
39
caac957e9834
Main color is now configurable
Teemu Piippo <teemu@hecknology.net>
parents:
16
diff
changeset
|
38 | <item> |
283
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
39 | <widget class="QTabWidget" name="tabWidget"> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
40 | <property name="currentIndex"> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
41 | <number>0</number> |
7 | 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> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
162 | </layout> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
163 | </item> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
164 | <item> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
165 | <spacer name="horizontalSpacer"> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
166 | <property name="orientation"> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
167 | <enum>Qt::Horizontal</enum> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
168 | </property> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
169 | <property name="sizeHint" stdset="0"> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
170 | <size> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
171 | <width>40</width> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
172 | <height>20</height> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
173 | </size> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
174 | </property> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
175 | </spacer> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
176 | </item> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
177 | </layout> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
178 | </widget> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
179 | <widget class="QWidget" name="tabLdrawLibraries"> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
180 | <attribute name="title"> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
181 | <string>LDraw parts libraries</string> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
182 | </attribute> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
183 | </widget> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
184 | <widget class="QWidget" name="tab"> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
185 | <attribute name="title"> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
186 | <string>Keyboard shortcuts</string> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
187 | </attribute> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
188 | <layout class="QVBoxLayout" name="verticalLayout_2"> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
189 | <item> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
190 | <widget class="QTableView" name="keyboardShortcutsView"/> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
191 | </item> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
192 | </layout> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
193 | </widget> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
194 | <widget class="QWidget" name="tab_2"> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
195 | <attribute name="title"> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
196 | <string>Debug</string> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
197 | </attribute> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
198 | <layout class="QFormLayout" name="formLayout_3"> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
199 | <item row="1" column="1"> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
200 | <spacer name="verticalSpacer_2"> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
201 | <property name="orientation"> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
202 | <enum>Qt::Vertical</enum> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
203 | </property> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
204 | <property name="sizeHint" stdset="0"> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
205 | <size> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
206 | <width>20</width> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
207 | <height>40</height> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
208 | </size> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
209 | </property> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
210 | </spacer> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
211 | </item> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
212 | <item row="0" column="1"> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
213 | <widget class="QCheckBox" name="logOpenGLDebugMessages"> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
214 | <property name="text"> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
215 | <string>Log OpenGL debug messages</string> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
216 | </property> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
217 | </widget> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
218 | </item> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
219 | </layout> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
220 | </widget> |
7 | 221 | </widget> |
222 | </item> | |
39
caac957e9834
Main color is now configurable
Teemu Piippo <teemu@hecknology.net>
parents:
16
diff
changeset
|
223 | <item> |
caac957e9834
Main color is now configurable
Teemu Piippo <teemu@hecknology.net>
parents:
16
diff
changeset
|
224 | <spacer name="verticalSpacer"> |
caac957e9834
Main color is now configurable
Teemu Piippo <teemu@hecknology.net>
parents:
16
diff
changeset
|
225 | <property name="orientation"> |
caac957e9834
Main color is now configurable
Teemu Piippo <teemu@hecknology.net>
parents:
16
diff
changeset
|
226 | <enum>Qt::Vertical</enum> |
caac957e9834
Main color is now configurable
Teemu Piippo <teemu@hecknology.net>
parents:
16
diff
changeset
|
227 | </property> |
caac957e9834
Main color is now configurable
Teemu Piippo <teemu@hecknology.net>
parents:
16
diff
changeset
|
228 | <property name="sizeHint" stdset="0"> |
caac957e9834
Main color is now configurable
Teemu Piippo <teemu@hecknology.net>
parents:
16
diff
changeset
|
229 | <size> |
caac957e9834
Main color is now configurable
Teemu Piippo <teemu@hecknology.net>
parents:
16
diff
changeset
|
230 | <width>20</width> |
283
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
231 | <height>2</height> |
39
caac957e9834
Main color is now configurable
Teemu Piippo <teemu@hecknology.net>
parents:
16
diff
changeset
|
232 | </size> |
caac957e9834
Main color is now configurable
Teemu Piippo <teemu@hecknology.net>
parents:
16
diff
changeset
|
233 | </property> |
caac957e9834
Main color is now configurable
Teemu Piippo <teemu@hecknology.net>
parents:
16
diff
changeset
|
234 | </spacer> |
caac957e9834
Main color is now configurable
Teemu Piippo <teemu@hecknology.net>
parents:
16
diff
changeset
|
235 | </item> |
7 | 236 | </layout> |
237 | </widget> | |
238 | </widget> | |
239 | </item> | |
240 | <item> | |
241 | <widget class="QDialogButtonBox" name="buttonBox"> | |
242 | <property name="orientation"> | |
243 | <enum>Qt::Horizontal</enum> | |
244 | </property> | |
245 | <property name="standardButtons"> | |
341
71c8cea3c205
Save settings as soon as they are changed, Cancel and Reset buttons revert changes
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
335
diff
changeset
|
246 | <set>QDialogButtonBox::Cancel|QDialogButtonBox::Ok|QDialogButtonBox::Reset</set> |
7 | 247 | </property> |
248 | </widget> | |
249 | </item> | |
250 | </layout> | |
251 | </widget> | |
39
caac957e9834
Main color is now configurable
Teemu Piippo <teemu@hecknology.net>
parents:
16
diff
changeset
|
252 | <customwidgets> |
caac957e9834
Main color is now configurable
Teemu Piippo <teemu@hecknology.net>
parents:
16
diff
changeset
|
253 | <customwidget> |
347
5c655cc006de
Rename ColorButton -> ColorEdit
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
344
diff
changeset
|
254 | <class>ColorEdit</class> |
39
caac957e9834
Main color is now configurable
Teemu Piippo <teemu@hecknology.net>
parents:
16
diff
changeset
|
255 | <extends>QPushButton</extends> |
caac957e9834
Main color is now configurable
Teemu Piippo <teemu@hecknology.net>
parents:
16
diff
changeset
|
256 | <header>widgets/colorbutton.h</header> |
caac957e9834
Main color is now configurable
Teemu Piippo <teemu@hecknology.net>
parents:
16
diff
changeset
|
257 | </customwidget> |
caac957e9834
Main color is now configurable
Teemu Piippo <teemu@hecknology.net>
parents:
16
diff
changeset
|
258 | </customwidgets> |
7 | 259 | <resources/> |
285
99af8bf63d10
Don't create more than one settings editor
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
283
diff
changeset
|
260 | <connections/> |
202
b05af0bab735
Replaced the tab widget with an MDI area
Teemu Piippo <teemu@hecknology.net>
parents:
48
diff
changeset
|
261 | <buttongroups> |
b05af0bab735
Replaced the tab widget with an MDI area
Teemu Piippo <teemu@hecknology.net>
parents:
48
diff
changeset
|
262 | <buttongroup name="viewModeButtonGroup"/> |
b05af0bab735
Replaced the tab widget with an MDI area
Teemu Piippo <teemu@hecknology.net>
parents:
48
diff
changeset
|
263 | </buttongroups> |
7 | 264 | </ui> |