Sat, 08 Apr 2023 12:53:15 +0300
Fix line type 0 format regular expression
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"> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
120 | <widget class="ColorButton" name="mainColorButton"> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
121 | <property name="text"> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
122 | <string/> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
123 | </property> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
124 | </widget> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
125 | </item> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
126 | <item row="1" column="0"> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
127 | <widget class="QLabel" name="label_5"> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
128 | <property name="text"> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
129 | <string>Selected colour:</string> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
130 | </property> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
131 | </widget> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
132 | </item> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
133 | <item row="1" column="1"> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
134 | <widget class="ColorButton" name="selectedColorButton"> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
135 | <property name="text"> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
136 | <string/> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
137 | </property> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
138 | </widget> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
139 | </item> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
140 | <item row="2" column="0"> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
141 | <widget class="QLabel" name="label_3"> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
142 | <property name="text"> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
143 | <string>Background colour:</string> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
144 | </property> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
145 | </widget> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
146 | </item> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
147 | <item row="2" column="1"> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
148 | <widget class="ColorButton" name="backgroundColorButton"> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
149 | <property name="text"> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
150 | <string/> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
151 | </property> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
152 | </widget> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
153 | </item> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
154 | <item row="3" column="0"> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
155 | <widget class="QLabel" name="label_4"> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
156 | <property name="text"> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
157 | <string>Line thickness:</string> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
158 | </property> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
159 | </widget> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
160 | </item> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
161 | <item row="3" column="1"> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
162 | <widget class="QDoubleSpinBox" name="lineThickness"/> |
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 row="4" column="0"> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
165 | <widget class="QCheckBox" name="lineAntiAliasing"> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
166 | <property name="text"> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
167 | <string>Line anti-aliasing</string> |
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 | </widget> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
170 | </item> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
171 | </layout> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
172 | </widget> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
173 | </item> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
174 | </layout> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
175 | </item> |
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 | <spacer name="horizontalSpacer"> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
178 | <property name="orientation"> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
179 | <enum>Qt::Horizontal</enum> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
180 | </property> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
181 | <property name="sizeHint" stdset="0"> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
182 | <size> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
183 | <width>40</width> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
184 | <height>20</height> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
185 | </size> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
186 | </property> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
187 | </spacer> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
188 | </item> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
189 | </layout> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
190 | </widget> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
191 | <widget class="QWidget" name="tabLdrawLibraries"> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
192 | <attribute name="title"> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
193 | <string>LDraw parts libraries</string> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
194 | </attribute> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
195 | </widget> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
196 | <widget class="QWidget" name="tab"> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
197 | <attribute name="title"> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
198 | <string>Keyboard shortcuts</string> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
199 | </attribute> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
200 | <layout class="QVBoxLayout" name="verticalLayout_2"> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
201 | <item> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
202 | <widget class="QTableView" name="keyboardShortcutsView"/> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
203 | </item> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
204 | </layout> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
205 | </widget> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
206 | <widget class="QWidget" name="tab_2"> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
207 | <attribute name="title"> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
208 | <string>Debug</string> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
209 | </attribute> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
210 | <layout class="QFormLayout" name="formLayout_3"> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
211 | <item row="1" column="1"> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
212 | <spacer name="verticalSpacer_2"> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
213 | <property name="orientation"> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
214 | <enum>Qt::Vertical</enum> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
215 | </property> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
216 | <property name="sizeHint" stdset="0"> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
217 | <size> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
218 | <width>20</width> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
219 | <height>40</height> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
220 | </size> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
221 | </property> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
222 | </spacer> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
223 | </item> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
224 | <item row="0" column="1"> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
225 | <widget class="QCheckBox" name="logOpenGLDebugMessages"> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
226 | <property name="text"> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
227 | <string>Log OpenGL debug messages</string> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
228 | </property> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
229 | </widget> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
230 | </item> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
231 | </layout> |
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
232 | </widget> |
7 | 233 | </widget> |
234 | </item> | |
39
caac957e9834
Main color is now configurable
Teemu Piippo <teemu@hecknology.net>
parents:
16
diff
changeset
|
235 | <item> |
caac957e9834
Main color is now configurable
Teemu Piippo <teemu@hecknology.net>
parents:
16
diff
changeset
|
236 | <spacer name="verticalSpacer"> |
caac957e9834
Main color is now configurable
Teemu Piippo <teemu@hecknology.net>
parents:
16
diff
changeset
|
237 | <property name="orientation"> |
caac957e9834
Main color is now configurable
Teemu Piippo <teemu@hecknology.net>
parents:
16
diff
changeset
|
238 | <enum>Qt::Vertical</enum> |
caac957e9834
Main color is now configurable
Teemu Piippo <teemu@hecknology.net>
parents:
16
diff
changeset
|
239 | </property> |
caac957e9834
Main color is now configurable
Teemu Piippo <teemu@hecknology.net>
parents:
16
diff
changeset
|
240 | <property name="sizeHint" stdset="0"> |
caac957e9834
Main color is now configurable
Teemu Piippo <teemu@hecknology.net>
parents:
16
diff
changeset
|
241 | <size> |
caac957e9834
Main color is now configurable
Teemu Piippo <teemu@hecknology.net>
parents:
16
diff
changeset
|
242 | <width>20</width> |
283
96b7eb68e9e6
Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
282
diff
changeset
|
243 | <height>2</height> |
39
caac957e9834
Main color is now configurable
Teemu Piippo <teemu@hecknology.net>
parents:
16
diff
changeset
|
244 | </size> |
caac957e9834
Main color is now configurable
Teemu Piippo <teemu@hecknology.net>
parents:
16
diff
changeset
|
245 | </property> |
caac957e9834
Main color is now configurable
Teemu Piippo <teemu@hecknology.net>
parents:
16
diff
changeset
|
246 | </spacer> |
caac957e9834
Main color is now configurable
Teemu Piippo <teemu@hecknology.net>
parents:
16
diff
changeset
|
247 | </item> |
7 | 248 | </layout> |
249 | </widget> | |
250 | </widget> | |
251 | </item> | |
252 | <item> | |
253 | <widget class="QDialogButtonBox" name="buttonBox"> | |
254 | <property name="orientation"> | |
255 | <enum>Qt::Horizontal</enum> | |
256 | </property> | |
257 | <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
|
258 | <set>QDialogButtonBox::Cancel|QDialogButtonBox::Ok|QDialogButtonBox::Reset</set> |
7 | 259 | </property> |
260 | </widget> | |
261 | </item> | |
262 | </layout> | |
263 | </widget> | |
39
caac957e9834
Main color is now configurable
Teemu Piippo <teemu@hecknology.net>
parents:
16
diff
changeset
|
264 | <customwidgets> |
caac957e9834
Main color is now configurable
Teemu Piippo <teemu@hecknology.net>
parents:
16
diff
changeset
|
265 | <customwidget> |
caac957e9834
Main color is now configurable
Teemu Piippo <teemu@hecknology.net>
parents:
16
diff
changeset
|
266 | <class>ColorButton</class> |
caac957e9834
Main color is now configurable
Teemu Piippo <teemu@hecknology.net>
parents:
16
diff
changeset
|
267 | <extends>QPushButton</extends> |
caac957e9834
Main color is now configurable
Teemu Piippo <teemu@hecknology.net>
parents:
16
diff
changeset
|
268 | <header>widgets/colorbutton.h</header> |
caac957e9834
Main color is now configurable
Teemu Piippo <teemu@hecknology.net>
parents:
16
diff
changeset
|
269 | </customwidget> |
caac957e9834
Main color is now configurable
Teemu Piippo <teemu@hecknology.net>
parents:
16
diff
changeset
|
270 | </customwidgets> |
7 | 271 | <resources/> |
285
99af8bf63d10
Don't create more than one settings editor
Teemu Piippo <teemu.s.piippo@gmail.com>
parents:
283
diff
changeset
|
272 | <connections/> |
202
b05af0bab735
Replaced the tab widget with an MDI area
Teemu Piippo <teemu@hecknology.net>
parents:
48
diff
changeset
|
273 | <buttongroups> |
b05af0bab735
Replaced the tab widget with an MDI area
Teemu Piippo <teemu@hecknology.net>
parents:
48
diff
changeset
|
274 | <buttongroup name="viewModeButtonGroup"/> |
b05af0bab735
Replaced the tab widget with an MDI area
Teemu Piippo <teemu@hecknology.net>
parents:
48
diff
changeset
|
275 | </buttongroups> |
7 | 276 | </ui> |