src/settingseditor/settingseditor.ui

Sat, 08 Apr 2023 12:53:15 +0300

author
Teemu Piippo <teemu.s.piippo@gmail.com>
date
Sat, 08 Apr 2023 12:53:15 +0300
changeset 342
9fd7dcab6d76
parent 341
71c8cea3c205
child 344
a24da8de2a3b
permissions
-rw-r--r--

Fix line type 0 format regular expression

7
68443f5be176 added the settings editor
Teemu Piippo <teemu@hecknology.net>
parents:
diff changeset
1 <?xml version="1.0" encoding="UTF-8"?>
68443f5be176 added the settings editor
Teemu Piippo <teemu@hecknology.net>
parents:
diff changeset
2 <ui version="4.0">
68443f5be176 added the settings editor
Teemu Piippo <teemu@hecknology.net>
parents:
diff changeset
3 <class>SettingsEditor</class>
285
99af8bf63d10 Don't create more than one settings editor
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 283
diff changeset
4 <widget class="QWidget" name="SettingsEditor">
7
68443f5be176 added the settings editor
Teemu Piippo <teemu@hecknology.net>
parents:
diff changeset
5 <property name="geometry">
68443f5be176 added the settings editor
Teemu Piippo <teemu@hecknology.net>
parents:
diff changeset
6 <rect>
68443f5be176 added the settings editor
Teemu Piippo <teemu@hecknology.net>
parents:
diff changeset
7 <x>0</x>
68443f5be176 added the settings editor
Teemu Piippo <teemu@hecknology.net>
parents:
diff changeset
8 <y>0</y>
285
99af8bf63d10 Don't create more than one settings editor
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 283
diff changeset
9 <width>718</width>
99af8bf63d10 Don't create more than one settings editor
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 283
diff changeset
10 <height>629</height>
7
68443f5be176 added the settings editor
Teemu Piippo <teemu@hecknology.net>
parents:
diff changeset
11 </rect>
68443f5be176 added the settings editor
Teemu Piippo <teemu@hecknology.net>
parents:
diff changeset
12 </property>
68443f5be176 added the settings editor
Teemu Piippo <teemu@hecknology.net>
parents:
diff changeset
13 <property name="windowTitle">
285
99af8bf63d10 Don't create more than one settings editor
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 283
diff changeset
14 <string>Settings</string>
7
68443f5be176 added the settings editor
Teemu Piippo <teemu@hecknology.net>
parents:
diff changeset
15 </property>
283
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
16 <layout class="QVBoxLayout" name="verticalLayout_4">
7
68443f5be176 added the settings editor
Teemu Piippo <teemu@hecknology.net>
parents:
diff changeset
17 <item>
283
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
18 <widget class="QScrollArea" name="scrollArea">
285
99af8bf63d10 Don't create more than one settings editor
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 283
diff changeset
19 <property name="minimumSize">
99af8bf63d10 Don't create more than one settings editor
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 283
diff changeset
20 <size>
99af8bf63d10 Don't create more than one settings editor
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 283
diff changeset
21 <width>96</width>
99af8bf63d10 Don't create more than one settings editor
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 283
diff changeset
22 <height>96</height>
99af8bf63d10 Don't create more than one settings editor
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 283
diff changeset
23 </size>
99af8bf63d10 Don't create more than one settings editor
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 283
diff changeset
24 </property>
283
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
25 <property name="widgetResizable">
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
26 <bool>true</bool>
7
68443f5be176 added the settings editor
Teemu Piippo <teemu@hecknology.net>
parents:
diff changeset
27 </property>
283
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
28 <widget class="QWidget" name="scrollAreaWidgetContents">
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
29 <property name="geometry">
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
30 <rect>
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
31 <x>0</x>
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
32 <y>0</y>
341
71c8cea3c205 Save settings as soon as they are changed, Cancel and Reset buttons revert changes
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 335
diff changeset
33 <width>694</width>
335
c5830bce1c23 Fix crashing
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 286
diff changeset
34 <height>558</height>
283
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
35 </rect>
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
36 </property>
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
37 <layout class="QVBoxLayout" name="verticalLayout">
39
caac957e9834 Main color is now configurable
Teemu Piippo <teemu@hecknology.net>
parents: 16
diff changeset
38 <item>
283
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
39 <widget class="QTabWidget" name="tabWidget">
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
40 <property name="currentIndex">
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
41 <number>0</number>
7
68443f5be176 added the settings editor
Teemu Piippo <teemu@hecknology.net>
parents:
diff changeset
42 </property>
283
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
43 <widget class="QWidget" name="tabGeneral">
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
44 <attribute name="title">
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
45 <string>General</string>
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
46 </attribute>
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
47 <layout class="QHBoxLayout" name="horizontalLayout">
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
48 <item>
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
49 <layout class="QVBoxLayout" name="verticalLayout_3">
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
50 <item>
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
51 <widget class="QGroupBox" name="groupBox">
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
52 <property name="title">
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
53 <string>Interface</string>
39
caac957e9834 Main color is now configurable
Teemu Piippo <teemu@hecknology.net>
parents: 16
diff changeset
54 </property>
283
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
55 <layout class="QFormLayout" name="formLayout">
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
56 <item row="0" column="0">
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
57 <widget class="QLabel" name="label_6">
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
58 <property name="text">
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
59 <string>View mode:</string>
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
60 </property>
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
61 </widget>
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
62 </item>
286
04478da357d0 Disable language changing for now (translations won't go into 1.0)
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 285
diff changeset
63 <item row="0" column="1">
283
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
64 <layout class="QHBoxLayout" name="horizontalLayout_3">
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
65 <item>
286
04478da357d0 Disable language changing for now (translations won't go into 1.0)
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 285
diff changeset
66 <widget class="QRadioButton" name="viewModeSubWindows">
04478da357d0 Disable language changing for now (translations won't go into 1.0)
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 285
diff changeset
67 <property name="toolTip">
04478da357d0 Disable language changing for now (translations won't go into 1.0)
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 285
diff changeset
68 <string>Arrange opened documents using resizable and movable subwindows</string>
04478da357d0 Disable language changing for now (translations won't go into 1.0)
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 285
diff changeset
69 </property>
04478da357d0 Disable language changing for now (translations won't go into 1.0)
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 285
diff changeset
70 <property name="text">
04478da357d0 Disable language changing for now (translations won't go into 1.0)
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 285
diff changeset
71 <string>Subwindows</string>
04478da357d0 Disable language changing for now (translations won't go into 1.0)
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 285
diff changeset
72 </property>
04478da357d0 Disable language changing for now (translations won't go into 1.0)
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 285
diff changeset
73 <attribute name="buttonGroup">
04478da357d0 Disable language changing for now (translations won't go into 1.0)
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 285
diff changeset
74 <string notr="true">viewModeButtonGroup</string>
04478da357d0 Disable language changing for now (translations won't go into 1.0)
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 285
diff changeset
75 </attribute>
04478da357d0 Disable language changing for now (translations won't go into 1.0)
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 285
diff changeset
76 </widget>
04478da357d0 Disable language changing for now (translations won't go into 1.0)
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 285
diff changeset
77 </item>
04478da357d0 Disable language changing for now (translations won't go into 1.0)
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 285
diff changeset
78 <item>
283
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
79 <widget class="QRadioButton" name="viewModeTabs">
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
80 <property name="toolTip">
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
81 <string>Arrange opened documents using tabs</string>
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
82 </property>
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
83 <property name="text">
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
84 <string>Tabs</string>
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
85 </property>
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
86 <attribute name="buttonGroup">
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
87 <string notr="true">viewModeButtonGroup</string>
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
88 </attribute>
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
89 </widget>
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
90 </item>
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
91 </layout>
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
92 </item>
335
c5830bce1c23 Fix crashing
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 286
diff changeset
93 <item row="1" column="0">
c5830bce1c23 Fix crashing
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 286
diff changeset
94 <widget class="QLabel" name="label">
c5830bce1c23 Fix crashing
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 286
diff changeset
95 <property name="text">
c5830bce1c23 Fix crashing
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 286
diff changeset
96 <string>Tool button style:</string>
c5830bce1c23 Fix crashing
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 286
diff changeset
97 </property>
c5830bce1c23 Fix crashing
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 286
diff changeset
98 </widget>
c5830bce1c23 Fix crashing
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 286
diff changeset
99 </item>
c5830bce1c23 Fix crashing
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 286
diff changeset
100 <item row="1" column="1">
c5830bce1c23 Fix crashing
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 286
diff changeset
101 <widget class="QComboBox" name="toolButtonStyle"/>
c5830bce1c23 Fix crashing
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 286
diff changeset
102 </item>
283
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
103 </layout>
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
104 </widget>
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
105 </item>
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
106 <item>
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
107 <widget class="QGroupBox" name="groupBox_2">
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
108 <property name="title">
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
109 <string>Rendering</string>
39
caac957e9834 Main color is now configurable
Teemu Piippo <teemu@hecknology.net>
parents: 16
diff changeset
110 </property>
283
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
111 <layout class="QFormLayout" name="formLayout_2">
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
112 <item row="0" column="0">
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
113 <widget class="QLabel" name="label_2">
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
114 <property name="text">
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
115 <string>Main colour:</string>
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
116 </property>
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
117 </widget>
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
118 </item>
96b7eb68e9e6 Make settings editor scrollable
Teemu Piippo <teemu.s.piippo@gmail.com>
parents: 282
diff changeset
119 <item row="0" column="1">
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
68443f5be176 added the settings editor
Teemu Piippo <teemu@hecknology.net>
parents:
diff changeset
233 </widget>
68443f5be176 added the settings editor
Teemu Piippo <teemu@hecknology.net>
parents:
diff changeset
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
68443f5be176 added the settings editor
Teemu Piippo <teemu@hecknology.net>
parents:
diff changeset
248 </layout>
68443f5be176 added the settings editor
Teemu Piippo <teemu@hecknology.net>
parents:
diff changeset
249 </widget>
68443f5be176 added the settings editor
Teemu Piippo <teemu@hecknology.net>
parents:
diff changeset
250 </widget>
68443f5be176 added the settings editor
Teemu Piippo <teemu@hecknology.net>
parents:
diff changeset
251 </item>
68443f5be176 added the settings editor
Teemu Piippo <teemu@hecknology.net>
parents:
diff changeset
252 <item>
68443f5be176 added the settings editor
Teemu Piippo <teemu@hecknology.net>
parents:
diff changeset
253 <widget class="QDialogButtonBox" name="buttonBox">
68443f5be176 added the settings editor
Teemu Piippo <teemu@hecknology.net>
parents:
diff changeset
254 <property name="orientation">
68443f5be176 added the settings editor
Teemu Piippo <teemu@hecknology.net>
parents:
diff changeset
255 <enum>Qt::Horizontal</enum>
68443f5be176 added the settings editor
Teemu Piippo <teemu@hecknology.net>
parents:
diff changeset
256 </property>
68443f5be176 added the settings editor
Teemu Piippo <teemu@hecknology.net>
parents:
diff changeset
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
68443f5be176 added the settings editor
Teemu Piippo <teemu@hecknology.net>
parents:
diff changeset
259 </property>
68443f5be176 added the settings editor
Teemu Piippo <teemu@hecknology.net>
parents:
diff changeset
260 </widget>
68443f5be176 added the settings editor
Teemu Piippo <teemu@hecknology.net>
parents:
diff changeset
261 </item>
68443f5be176 added the settings editor
Teemu Piippo <teemu@hecknology.net>
parents:
diff changeset
262 </layout>
68443f5be176 added the settings editor
Teemu Piippo <teemu@hecknology.net>
parents:
diff changeset
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
68443f5be176 added the settings editor
Teemu Piippo <teemu@hecknology.net>
parents:
diff changeset
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
68443f5be176 added the settings editor
Teemu Piippo <teemu@hecknology.net>
parents:
diff changeset
276 </ui>

mercurial