Mercurial > octave-nkf
annotate libgui/src/settings-dialog.ui @ 16620:818eef7b2618
allow terminal colors to be set from preferences dialog
* QTerminalInterface.h (QTerminalInterface::setBackgroundColor,
QTerminalInterface::setForeroundColor,
QTerminalInterface::setSelectionColor,
QTerminalInterface::setCursorColor): New functions.
* QUnixTerminalImpl.h, QUnixTerminalImpl.cpp
QUnixTerminalImpl::setBackgroundColor,
QUnixTerminalImpl::setForeroundColor,
QUnixTerminalImpl::setSelectionColor,
QUnixTerminalImpl::setCursorColor): New functions.
* QWinTerminalImpl.h, QWinTerminalImpl.cpp
(QConsolePrivate::setCursorColor): New argument, useForegroundColor.
(QConsolePrivate::m_selectionColor, QConsolePrivate::m_cursorColor):
New member variablebs.
(QConsolePrivate::selectionColor, QConsolePrivate::cursorColor,
QConsolePrivate::setSelectionColor, QConsolePrivate::setCursorColor):
Use member variables instead of Windows console color map.
(QConsolePrivate::cursorColor): Return foreground color if stored
color is invalid.
(QConsolePrivate::setCursorColor): Store invalid color if
useForegroundcolor.
(QConsolePrivate::QConsolePrivate): Set default selection and cursor
colors.
* QTerminal.cc (QTerminal::notice_settings): Handle terminal color
settings.
* resource-manager.h, resource-manager.cc
(resource_manager::terminal_color_names,
resource_manager::terminal_default_colors,
resource_manager::terminal_color_chars): New functions.
* settings-dialog.h, settings-dialog.cc
(settings_dialog::read_terminal_colors): New function.
(settings_dialog::settings_dialog): Call read_terminal_colors. Read
valud for using foreground color for cursor color.
(settings_dialog::write_terminal_colors): New function.
(settings_dialog::write_changed_settings): Call
write_terminal_colors. Handle setting for using foreground color for
cursor color.
* settings-dialog.ui: Add color selection to terminal settings
dialog.
author | John W. Eaton <jwe@octave.org> |
---|---|
date | Mon, 06 May 2013 06:00:44 -0400 |
parents | a1f613e5066d |
children | cf939872811c |
rev | line source |
---|---|
13501 | 1 <?xml version="1.0" encoding="UTF-8"?> |
2 <ui version="4.0"> | |
14709
f50591409306
Started to rename class names and methods from camel case to underscore-
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
14707
diff
changeset
|
3 <class>settings_dialog</class> |
f50591409306
Started to rename class names and methods from camel case to underscore-
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
14707
diff
changeset
|
4 <widget class="QDialog" name="settings_dialog"> |
13501 | 5 <property name="windowModality"> |
6 <enum>Qt::ApplicationModal</enum> | |
7 </property> | |
8 <property name="geometry"> | |
9 <rect> | |
10 <x>0</x> | |
11 <y>0</y> | |
16402
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
15972
diff
changeset
|
12 <width>700</width> |
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
15972
diff
changeset
|
13 <height>480</height> |
13501 | 14 </rect> |
15 </property> | |
16 <property name="minimumSize"> | |
17 <size> | |
16402
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
15972
diff
changeset
|
18 <width>700</width> |
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
15972
diff
changeset
|
19 <height>480</height> |
13501 | 20 </size> |
21 </property> | |
22 <property name="maximumSize"> | |
23 <size> | |
16402
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
15972
diff
changeset
|
24 <width>700</width> |
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
15972
diff
changeset
|
25 <height>480</height> |
13501 | 26 </size> |
27 </property> | |
28 <property name="windowTitle"> | |
29 <string>Settings</string> | |
30 </property> | |
13531
bb3676025b36
User can set a custom file editor instead of the built-in one.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13501
diff
changeset
|
31 <layout class="QVBoxLayout" name="verticalLayout_2"> |
bb3676025b36
User can set a custom file editor instead of the built-in one.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13501
diff
changeset
|
32 <item> |
13501 | 33 <widget class="QTabWidget" name="tabWidget"> |
34 <property name="currentIndex"> | |
16620
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
35 <number>3</number> |
13501 | 36 </property> |
15787
b081fbe80174
provide separate icons for gui's floating widgets
Torsten <ttl@justmail.de>
parents:
15364
diff
changeset
|
37 <widget class="QWidget" name="tab_4"> |
b081fbe80174
provide separate icons for gui's floating widgets
Torsten <ttl@justmail.de>
parents:
15364
diff
changeset
|
38 <property name="enabled"> |
b081fbe80174
provide separate icons for gui's floating widgets
Torsten <ttl@justmail.de>
parents:
15364
diff
changeset
|
39 <bool>true</bool> |
b081fbe80174
provide separate icons for gui's floating widgets
Torsten <ttl@justmail.de>
parents:
15364
diff
changeset
|
40 </property> |
b081fbe80174
provide separate icons for gui's floating widgets
Torsten <ttl@justmail.de>
parents:
15364
diff
changeset
|
41 <attribute name="title"> |
b081fbe80174
provide separate icons for gui's floating widgets
Torsten <ttl@justmail.de>
parents:
15364
diff
changeset
|
42 <string>General</string> |
b081fbe80174
provide separate icons for gui's floating widgets
Torsten <ttl@justmail.de>
parents:
15364
diff
changeset
|
43 </attribute> |
15972
22ab4fe661d7
gui: selectable language in settings dialog
Torsten <ttl@justmail.de>
parents:
15787
diff
changeset
|
44 <widget class="QWidget" name="verticalLayoutWidget"> |
15787
b081fbe80174
provide separate icons for gui's floating widgets
Torsten <ttl@justmail.de>
parents:
15364
diff
changeset
|
45 <property name="geometry"> |
b081fbe80174
provide separate icons for gui's floating widgets
Torsten <ttl@justmail.de>
parents:
15364
diff
changeset
|
46 <rect> |
15972
22ab4fe661d7
gui: selectable language in settings dialog
Torsten <ttl@justmail.de>
parents:
15787
diff
changeset
|
47 <x>9</x> |
15787
b081fbe80174
provide separate icons for gui's floating widgets
Torsten <ttl@justmail.de>
parents:
15364
diff
changeset
|
48 <y>10</y> |
16525
e192525236ad
configurable size of toolbar icons
Torsten <ttl@justmail.de>
parents:
16499
diff
changeset
|
49 <width>651</width> |
e192525236ad
configurable size of toolbar icons
Torsten <ttl@justmail.de>
parents:
16499
diff
changeset
|
50 <height>371</height> |
15787
b081fbe80174
provide separate icons for gui's floating widgets
Torsten <ttl@justmail.de>
parents:
15364
diff
changeset
|
51 </rect> |
b081fbe80174
provide separate icons for gui's floating widgets
Torsten <ttl@justmail.de>
parents:
15364
diff
changeset
|
52 </property> |
15972
22ab4fe661d7
gui: selectable language in settings dialog
Torsten <ttl@justmail.de>
parents:
15787
diff
changeset
|
53 <layout class="QVBoxLayout" name="verticalLayout_7"> |
22ab4fe661d7
gui: selectable language in settings dialog
Torsten <ttl@justmail.de>
parents:
15787
diff
changeset
|
54 <item> |
16525
e192525236ad
configurable size of toolbar icons
Torsten <ttl@justmail.de>
parents:
16499
diff
changeset
|
55 <layout class="QGridLayout" name="gridLayout"> |
e192525236ad
configurable size of toolbar icons
Torsten <ttl@justmail.de>
parents:
16499
diff
changeset
|
56 <item row="3" column="0"> |
e192525236ad
configurable size of toolbar icons
Torsten <ttl@justmail.de>
parents:
16499
diff
changeset
|
57 <widget class="QLabel" name="label_9"> |
e192525236ad
configurable size of toolbar icons
Torsten <ttl@justmail.de>
parents:
16499
diff
changeset
|
58 <property name="text"> |
e192525236ad
configurable size of toolbar icons
Torsten <ttl@justmail.de>
parents:
16499
diff
changeset
|
59 <string>Icon set for dock widgets</string> |
e192525236ad
configurable size of toolbar icons
Torsten <ttl@justmail.de>
parents:
16499
diff
changeset
|
60 </property> |
e192525236ad
configurable size of toolbar icons
Torsten <ttl@justmail.de>
parents:
16499
diff
changeset
|
61 </widget> |
e192525236ad
configurable size of toolbar icons
Torsten <ttl@justmail.de>
parents:
16499
diff
changeset
|
62 </item> |
e192525236ad
configurable size of toolbar icons
Torsten <ttl@justmail.de>
parents:
16499
diff
changeset
|
63 <item row="1" column="0"> |
15972
22ab4fe661d7
gui: selectable language in settings dialog
Torsten <ttl@justmail.de>
parents:
15787
diff
changeset
|
64 <widget class="QLabel" name="label_2"> |
22ab4fe661d7
gui: selectable language in settings dialog
Torsten <ttl@justmail.de>
parents:
15787
diff
changeset
|
65 <property name="text"> |
22ab4fe661d7
gui: selectable language in settings dialog
Torsten <ttl@justmail.de>
parents:
15787
diff
changeset
|
66 <string>Language (requires restart)</string> |
22ab4fe661d7
gui: selectable language in settings dialog
Torsten <ttl@justmail.de>
parents:
15787
diff
changeset
|
67 </property> |
22ab4fe661d7
gui: selectable language in settings dialog
Torsten <ttl@justmail.de>
parents:
15787
diff
changeset
|
68 </widget> |
22ab4fe661d7
gui: selectable language in settings dialog
Torsten <ttl@justmail.de>
parents:
15787
diff
changeset
|
69 </item> |
16525
e192525236ad
configurable size of toolbar icons
Torsten <ttl@justmail.de>
parents:
16499
diff
changeset
|
70 <item row="2" column="0"> |
e192525236ad
configurable size of toolbar icons
Torsten <ttl@justmail.de>
parents:
16499
diff
changeset
|
71 <widget class="QLabel" name="label_8"> |
e192525236ad
configurable size of toolbar icons
Torsten <ttl@justmail.de>
parents:
16499
diff
changeset
|
72 <property name="text"> |
e192525236ad
configurable size of toolbar icons
Torsten <ttl@justmail.de>
parents:
16499
diff
changeset
|
73 <string>Icon size</string> |
15972
22ab4fe661d7
gui: selectable language in settings dialog
Torsten <ttl@justmail.de>
parents:
15787
diff
changeset
|
74 </property> |
22ab4fe661d7
gui: selectable language in settings dialog
Torsten <ttl@justmail.de>
parents:
15787
diff
changeset
|
75 </widget> |
22ab4fe661d7
gui: selectable language in settings dialog
Torsten <ttl@justmail.de>
parents:
15787
diff
changeset
|
76 </item> |
16525
e192525236ad
configurable size of toolbar icons
Torsten <ttl@justmail.de>
parents:
16499
diff
changeset
|
77 <item row="2" column="2"> |
e192525236ad
configurable size of toolbar icons
Torsten <ttl@justmail.de>
parents:
16499
diff
changeset
|
78 <layout class="QHBoxLayout" name="horizontalLayout_6"> |
e192525236ad
configurable size of toolbar icons
Torsten <ttl@justmail.de>
parents:
16499
diff
changeset
|
79 <item> |
e192525236ad
configurable size of toolbar icons
Torsten <ttl@justmail.de>
parents:
16499
diff
changeset
|
80 <widget class="QSpinBox" name="toolbar_icon_size"> |
e192525236ad
configurable size of toolbar icons
Torsten <ttl@justmail.de>
parents:
16499
diff
changeset
|
81 <property name="minimum"> |
e192525236ad
configurable size of toolbar icons
Torsten <ttl@justmail.de>
parents:
16499
diff
changeset
|
82 <number>16</number> |
e192525236ad
configurable size of toolbar icons
Torsten <ttl@justmail.de>
parents:
16499
diff
changeset
|
83 </property> |
e192525236ad
configurable size of toolbar icons
Torsten <ttl@justmail.de>
parents:
16499
diff
changeset
|
84 <property name="maximum"> |
e192525236ad
configurable size of toolbar icons
Torsten <ttl@justmail.de>
parents:
16499
diff
changeset
|
85 <number>32</number> |
e192525236ad
configurable size of toolbar icons
Torsten <ttl@justmail.de>
parents:
16499
diff
changeset
|
86 </property> |
e192525236ad
configurable size of toolbar icons
Torsten <ttl@justmail.de>
parents:
16499
diff
changeset
|
87 <property name="singleStep"> |
e192525236ad
configurable size of toolbar icons
Torsten <ttl@justmail.de>
parents:
16499
diff
changeset
|
88 <number>4</number> |
e192525236ad
configurable size of toolbar icons
Torsten <ttl@justmail.de>
parents:
16499
diff
changeset
|
89 </property> |
e192525236ad
configurable size of toolbar icons
Torsten <ttl@justmail.de>
parents:
16499
diff
changeset
|
90 <property name="value"> |
e192525236ad
configurable size of toolbar icons
Torsten <ttl@justmail.de>
parents:
16499
diff
changeset
|
91 <number>24</number> |
e192525236ad
configurable size of toolbar icons
Torsten <ttl@justmail.de>
parents:
16499
diff
changeset
|
92 </property> |
e192525236ad
configurable size of toolbar icons
Torsten <ttl@justmail.de>
parents:
16499
diff
changeset
|
93 </widget> |
e192525236ad
configurable size of toolbar icons
Torsten <ttl@justmail.de>
parents:
16499
diff
changeset
|
94 </item> |
e192525236ad
configurable size of toolbar icons
Torsten <ttl@justmail.de>
parents:
16499
diff
changeset
|
95 <item> |
e192525236ad
configurable size of toolbar icons
Torsten <ttl@justmail.de>
parents:
16499
diff
changeset
|
96 <spacer name="horizontalSpacer_4"> |
e192525236ad
configurable size of toolbar icons
Torsten <ttl@justmail.de>
parents:
16499
diff
changeset
|
97 <property name="orientation"> |
e192525236ad
configurable size of toolbar icons
Torsten <ttl@justmail.de>
parents:
16499
diff
changeset
|
98 <enum>Qt::Horizontal</enum> |
e192525236ad
configurable size of toolbar icons
Torsten <ttl@justmail.de>
parents:
16499
diff
changeset
|
99 </property> |
e192525236ad
configurable size of toolbar icons
Torsten <ttl@justmail.de>
parents:
16499
diff
changeset
|
100 <property name="sizeHint" stdset="0"> |
e192525236ad
configurable size of toolbar icons
Torsten <ttl@justmail.de>
parents:
16499
diff
changeset
|
101 <size> |
e192525236ad
configurable size of toolbar icons
Torsten <ttl@justmail.de>
parents:
16499
diff
changeset
|
102 <width>40</width> |
e192525236ad
configurable size of toolbar icons
Torsten <ttl@justmail.de>
parents:
16499
diff
changeset
|
103 <height>20</height> |
e192525236ad
configurable size of toolbar icons
Torsten <ttl@justmail.de>
parents:
16499
diff
changeset
|
104 </size> |
e192525236ad
configurable size of toolbar icons
Torsten <ttl@justmail.de>
parents:
16499
diff
changeset
|
105 </property> |
e192525236ad
configurable size of toolbar icons
Torsten <ttl@justmail.de>
parents:
16499
diff
changeset
|
106 </spacer> |
e192525236ad
configurable size of toolbar icons
Torsten <ttl@justmail.de>
parents:
16499
diff
changeset
|
107 </item> |
e192525236ad
configurable size of toolbar icons
Torsten <ttl@justmail.de>
parents:
16499
diff
changeset
|
108 </layout> |
e192525236ad
configurable size of toolbar icons
Torsten <ttl@justmail.de>
parents:
16499
diff
changeset
|
109 </item> |
e192525236ad
configurable size of toolbar icons
Torsten <ttl@justmail.de>
parents:
16499
diff
changeset
|
110 <item row="1" column="2"> |
e192525236ad
configurable size of toolbar icons
Torsten <ttl@justmail.de>
parents:
16499
diff
changeset
|
111 <layout class="QHBoxLayout" name="horizontalLayout_8"> |
e192525236ad
configurable size of toolbar icons
Torsten <ttl@justmail.de>
parents:
16499
diff
changeset
|
112 <item> |
e192525236ad
configurable size of toolbar icons
Torsten <ttl@justmail.de>
parents:
16499
diff
changeset
|
113 <widget class="QComboBox" name="comboBox_language"> |
e192525236ad
configurable size of toolbar icons
Torsten <ttl@justmail.de>
parents:
16499
diff
changeset
|
114 <property name="insertPolicy"> |
e192525236ad
configurable size of toolbar icons
Torsten <ttl@justmail.de>
parents:
16499
diff
changeset
|
115 <enum>QComboBox::InsertAtBottom</enum> |
e192525236ad
configurable size of toolbar icons
Torsten <ttl@justmail.de>
parents:
16499
diff
changeset
|
116 </property> |
e192525236ad
configurable size of toolbar icons
Torsten <ttl@justmail.de>
parents:
16499
diff
changeset
|
117 </widget> |
e192525236ad
configurable size of toolbar icons
Torsten <ttl@justmail.de>
parents:
16499
diff
changeset
|
118 </item> |
e192525236ad
configurable size of toolbar icons
Torsten <ttl@justmail.de>
parents:
16499
diff
changeset
|
119 <item> |
e192525236ad
configurable size of toolbar icons
Torsten <ttl@justmail.de>
parents:
16499
diff
changeset
|
120 <spacer name="horizontalSpacer_3"> |
e192525236ad
configurable size of toolbar icons
Torsten <ttl@justmail.de>
parents:
16499
diff
changeset
|
121 <property name="orientation"> |
e192525236ad
configurable size of toolbar icons
Torsten <ttl@justmail.de>
parents:
16499
diff
changeset
|
122 <enum>Qt::Horizontal</enum> |
e192525236ad
configurable size of toolbar icons
Torsten <ttl@justmail.de>
parents:
16499
diff
changeset
|
123 </property> |
e192525236ad
configurable size of toolbar icons
Torsten <ttl@justmail.de>
parents:
16499
diff
changeset
|
124 <property name="sizeHint" stdset="0"> |
e192525236ad
configurable size of toolbar icons
Torsten <ttl@justmail.de>
parents:
16499
diff
changeset
|
125 <size> |
e192525236ad
configurable size of toolbar icons
Torsten <ttl@justmail.de>
parents:
16499
diff
changeset
|
126 <width>40</width> |
e192525236ad
configurable size of toolbar icons
Torsten <ttl@justmail.de>
parents:
16499
diff
changeset
|
127 <height>20</height> |
e192525236ad
configurable size of toolbar icons
Torsten <ttl@justmail.de>
parents:
16499
diff
changeset
|
128 </size> |
e192525236ad
configurable size of toolbar icons
Torsten <ttl@justmail.de>
parents:
16499
diff
changeset
|
129 </property> |
e192525236ad
configurable size of toolbar icons
Torsten <ttl@justmail.de>
parents:
16499
diff
changeset
|
130 </spacer> |
e192525236ad
configurable size of toolbar icons
Torsten <ttl@justmail.de>
parents:
16499
diff
changeset
|
131 </item> |
e192525236ad
configurable size of toolbar icons
Torsten <ttl@justmail.de>
parents:
16499
diff
changeset
|
132 </layout> |
e192525236ad
configurable size of toolbar icons
Torsten <ttl@justmail.de>
parents:
16499
diff
changeset
|
133 </item> |
e192525236ad
configurable size of toolbar icons
Torsten <ttl@justmail.de>
parents:
16499
diff
changeset
|
134 <item row="3" column="2"> |
e192525236ad
configurable size of toolbar icons
Torsten <ttl@justmail.de>
parents:
16499
diff
changeset
|
135 <layout class="QHBoxLayout" name="horizontalLayout_9"> |
e192525236ad
configurable size of toolbar icons
Torsten <ttl@justmail.de>
parents:
16499
diff
changeset
|
136 <item> |
e192525236ad
configurable size of toolbar icons
Torsten <ttl@justmail.de>
parents:
16499
diff
changeset
|
137 <widget class="QRadioButton" name="general_icon_octave"> |
e192525236ad
configurable size of toolbar icons
Torsten <ttl@justmail.de>
parents:
16499
diff
changeset
|
138 <property name="text"> |
e192525236ad
configurable size of toolbar icons
Torsten <ttl@justmail.de>
parents:
16499
diff
changeset
|
139 <string>Octave logo only</string> |
e192525236ad
configurable size of toolbar icons
Torsten <ttl@justmail.de>
parents:
16499
diff
changeset
|
140 </property> |
e192525236ad
configurable size of toolbar icons
Torsten <ttl@justmail.de>
parents:
16499
diff
changeset
|
141 <property name="checked"> |
e192525236ad
configurable size of toolbar icons
Torsten <ttl@justmail.de>
parents:
16499
diff
changeset
|
142 <bool>true</bool> |
e192525236ad
configurable size of toolbar icons
Torsten <ttl@justmail.de>
parents:
16499
diff
changeset
|
143 </property> |
e192525236ad
configurable size of toolbar icons
Torsten <ttl@justmail.de>
parents:
16499
diff
changeset
|
144 </widget> |
e192525236ad
configurable size of toolbar icons
Torsten <ttl@justmail.de>
parents:
16499
diff
changeset
|
145 </item> |
e192525236ad
configurable size of toolbar icons
Torsten <ttl@justmail.de>
parents:
16499
diff
changeset
|
146 <item> |
e192525236ad
configurable size of toolbar icons
Torsten <ttl@justmail.de>
parents:
16499
diff
changeset
|
147 <widget class="QRadioButton" name="general_icon_letter"> |
e192525236ad
configurable size of toolbar icons
Torsten <ttl@justmail.de>
parents:
16499
diff
changeset
|
148 <property name="text"> |
e192525236ad
configurable size of toolbar icons
Torsten <ttl@justmail.de>
parents:
16499
diff
changeset
|
149 <string>Letter icons</string> |
e192525236ad
configurable size of toolbar icons
Torsten <ttl@justmail.de>
parents:
16499
diff
changeset
|
150 </property> |
e192525236ad
configurable size of toolbar icons
Torsten <ttl@justmail.de>
parents:
16499
diff
changeset
|
151 </widget> |
e192525236ad
configurable size of toolbar icons
Torsten <ttl@justmail.de>
parents:
16499
diff
changeset
|
152 </item> |
e192525236ad
configurable size of toolbar icons
Torsten <ttl@justmail.de>
parents:
16499
diff
changeset
|
153 <item> |
e192525236ad
configurable size of toolbar icons
Torsten <ttl@justmail.de>
parents:
16499
diff
changeset
|
154 <widget class="QRadioButton" name="general_icon_graphic"> |
e192525236ad
configurable size of toolbar icons
Torsten <ttl@justmail.de>
parents:
16499
diff
changeset
|
155 <property name="text"> |
e192525236ad
configurable size of toolbar icons
Torsten <ttl@justmail.de>
parents:
16499
diff
changeset
|
156 <string>Graphic icons</string> |
e192525236ad
configurable size of toolbar icons
Torsten <ttl@justmail.de>
parents:
16499
diff
changeset
|
157 </property> |
e192525236ad
configurable size of toolbar icons
Torsten <ttl@justmail.de>
parents:
16499
diff
changeset
|
158 </widget> |
e192525236ad
configurable size of toolbar icons
Torsten <ttl@justmail.de>
parents:
16499
diff
changeset
|
159 </item> |
e192525236ad
configurable size of toolbar icons
Torsten <ttl@justmail.de>
parents:
16499
diff
changeset
|
160 <item> |
e192525236ad
configurable size of toolbar icons
Torsten <ttl@justmail.de>
parents:
16499
diff
changeset
|
161 <spacer name="horizontalSpacer_6"> |
e192525236ad
configurable size of toolbar icons
Torsten <ttl@justmail.de>
parents:
16499
diff
changeset
|
162 <property name="orientation"> |
e192525236ad
configurable size of toolbar icons
Torsten <ttl@justmail.de>
parents:
16499
diff
changeset
|
163 <enum>Qt::Horizontal</enum> |
e192525236ad
configurable size of toolbar icons
Torsten <ttl@justmail.de>
parents:
16499
diff
changeset
|
164 </property> |
e192525236ad
configurable size of toolbar icons
Torsten <ttl@justmail.de>
parents:
16499
diff
changeset
|
165 <property name="sizeHint" stdset="0"> |
e192525236ad
configurable size of toolbar icons
Torsten <ttl@justmail.de>
parents:
16499
diff
changeset
|
166 <size> |
e192525236ad
configurable size of toolbar icons
Torsten <ttl@justmail.de>
parents:
16499
diff
changeset
|
167 <width>40</width> |
e192525236ad
configurable size of toolbar icons
Torsten <ttl@justmail.de>
parents:
16499
diff
changeset
|
168 <height>20</height> |
e192525236ad
configurable size of toolbar icons
Torsten <ttl@justmail.de>
parents:
16499
diff
changeset
|
169 </size> |
e192525236ad
configurable size of toolbar icons
Torsten <ttl@justmail.de>
parents:
16499
diff
changeset
|
170 </property> |
e192525236ad
configurable size of toolbar icons
Torsten <ttl@justmail.de>
parents:
16499
diff
changeset
|
171 </spacer> |
e192525236ad
configurable size of toolbar icons
Torsten <ttl@justmail.de>
parents:
16499
diff
changeset
|
172 </item> |
e192525236ad
configurable size of toolbar icons
Torsten <ttl@justmail.de>
parents:
16499
diff
changeset
|
173 </layout> |
15972
22ab4fe661d7
gui: selectable language in settings dialog
Torsten <ttl@justmail.de>
parents:
15787
diff
changeset
|
174 </item> |
22ab4fe661d7
gui: selectable language in settings dialog
Torsten <ttl@justmail.de>
parents:
15787
diff
changeset
|
175 </layout> |
22ab4fe661d7
gui: selectable language in settings dialog
Torsten <ttl@justmail.de>
parents:
15787
diff
changeset
|
176 </item> |
22ab4fe661d7
gui: selectable language in settings dialog
Torsten <ttl@justmail.de>
parents:
15787
diff
changeset
|
177 <item> |
16525
e192525236ad
configurable size of toolbar icons
Torsten <ttl@justmail.de>
parents:
16499
diff
changeset
|
178 <spacer name="verticalSpacer_4"> |
e192525236ad
configurable size of toolbar icons
Torsten <ttl@justmail.de>
parents:
16499
diff
changeset
|
179 <property name="orientation"> |
e192525236ad
configurable size of toolbar icons
Torsten <ttl@justmail.de>
parents:
16499
diff
changeset
|
180 <enum>Qt::Vertical</enum> |
15972
22ab4fe661d7
gui: selectable language in settings dialog
Torsten <ttl@justmail.de>
parents:
15787
diff
changeset
|
181 </property> |
16525
e192525236ad
configurable size of toolbar icons
Torsten <ttl@justmail.de>
parents:
16499
diff
changeset
|
182 <property name="sizeHint" stdset="0"> |
e192525236ad
configurable size of toolbar icons
Torsten <ttl@justmail.de>
parents:
16499
diff
changeset
|
183 <size> |
e192525236ad
configurable size of toolbar icons
Torsten <ttl@justmail.de>
parents:
16499
diff
changeset
|
184 <width>20</width> |
e192525236ad
configurable size of toolbar icons
Torsten <ttl@justmail.de>
parents:
16499
diff
changeset
|
185 <height>40</height> |
e192525236ad
configurable size of toolbar icons
Torsten <ttl@justmail.de>
parents:
16499
diff
changeset
|
186 </size> |
e192525236ad
configurable size of toolbar icons
Torsten <ttl@justmail.de>
parents:
16499
diff
changeset
|
187 </property> |
e192525236ad
configurable size of toolbar icons
Torsten <ttl@justmail.de>
parents:
16499
diff
changeset
|
188 </spacer> |
15972
22ab4fe661d7
gui: selectable language in settings dialog
Torsten <ttl@justmail.de>
parents:
15787
diff
changeset
|
189 </item> |
22ab4fe661d7
gui: selectable language in settings dialog
Torsten <ttl@justmail.de>
parents:
15787
diff
changeset
|
190 </layout> |
15787
b081fbe80174
provide separate icons for gui's floating widgets
Torsten <ttl@justmail.de>
parents:
15364
diff
changeset
|
191 </widget> |
b081fbe80174
provide separate icons for gui's floating widgets
Torsten <ttl@justmail.de>
parents:
15364
diff
changeset
|
192 </widget> |
13531
bb3676025b36
User can set a custom file editor instead of the built-in one.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13501
diff
changeset
|
193 <widget class="QWidget" name="tab"> |
bb3676025b36
User can set a custom file editor instead of the built-in one.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13501
diff
changeset
|
194 <attribute name="title"> |
bb3676025b36
User can set a custom file editor instead of the built-in one.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13501
diff
changeset
|
195 <string>Editor</string> |
bb3676025b36
User can set a custom file editor instead of the built-in one.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13501
diff
changeset
|
196 </attribute> |
14599
97cb9286919c
Cleaned up code.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
14588
diff
changeset
|
197 <layout class="QVBoxLayout" name="verticalLayout_6"> |
14307
be3e1a14a6de
Added an interface settings tab to the settings dialog. Made a few improvements on the editor. Wrote a small welcome text in the welcome wizard. Moved configuration file to ~/.config/octave-gui/settings.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13676
diff
changeset
|
198 <item> |
14599
97cb9286919c
Cleaned up code.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
14588
diff
changeset
|
199 <layout class="QVBoxLayout" name="verticalLayout_5"> |
13659
d98c6ef06dff
included some editor setting into the setting dialog
ttl <ttl@justmail.de>
parents:
13609
diff
changeset
|
200 <item> |
16402
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
15972
diff
changeset
|
201 <layout class="QHBoxLayout" name="horizontalLayout_4"/> |
13659
d98c6ef06dff
included some editor setting into the setting dialog
ttl <ttl@justmail.de>
parents:
13609
diff
changeset
|
202 </item> |
d98c6ef06dff
included some editor setting into the setting dialog
ttl <ttl@justmail.de>
parents:
13609
diff
changeset
|
203 <item> |
d98c6ef06dff
included some editor setting into the setting dialog
ttl <ttl@justmail.de>
parents:
13609
diff
changeset
|
204 <widget class="QCheckBox" name="editor_showLineNumbers"> |
d98c6ef06dff
included some editor setting into the setting dialog
ttl <ttl@justmail.de>
parents:
13609
diff
changeset
|
205 <property name="enabled"> |
d98c6ef06dff
included some editor setting into the setting dialog
ttl <ttl@justmail.de>
parents:
13609
diff
changeset
|
206 <bool>true</bool> |
d98c6ef06dff
included some editor setting into the setting dialog
ttl <ttl@justmail.de>
parents:
13609
diff
changeset
|
207 </property> |
d98c6ef06dff
included some editor setting into the setting dialog
ttl <ttl@justmail.de>
parents:
13609
diff
changeset
|
208 <property name="text"> |
d98c6ef06dff
included some editor setting into the setting dialog
ttl <ttl@justmail.de>
parents:
13609
diff
changeset
|
209 <string>Show line numbers</string> |
d98c6ef06dff
included some editor setting into the setting dialog
ttl <ttl@justmail.de>
parents:
13609
diff
changeset
|
210 </property> |
d98c6ef06dff
included some editor setting into the setting dialog
ttl <ttl@justmail.de>
parents:
13609
diff
changeset
|
211 </widget> |
d98c6ef06dff
included some editor setting into the setting dialog
ttl <ttl@justmail.de>
parents:
13609
diff
changeset
|
212 </item> |
d98c6ef06dff
included some editor setting into the setting dialog
ttl <ttl@justmail.de>
parents:
13609
diff
changeset
|
213 <item> |
14307
be3e1a14a6de
Added an interface settings tab to the settings dialog. Made a few improvements on the editor. Wrote a small welcome text in the welcome wizard. Moved configuration file to ~/.config/octave-gui/settings.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13676
diff
changeset
|
214 <widget class="QCheckBox" name="editor_highlightCurrentLine"> |
13659
d98c6ef06dff
included some editor setting into the setting dialog
ttl <ttl@justmail.de>
parents:
13609
diff
changeset
|
215 <property name="enabled"> |
d98c6ef06dff
included some editor setting into the setting dialog
ttl <ttl@justmail.de>
parents:
13609
diff
changeset
|
216 <bool>true</bool> |
d98c6ef06dff
included some editor setting into the setting dialog
ttl <ttl@justmail.de>
parents:
13609
diff
changeset
|
217 </property> |
d98c6ef06dff
included some editor setting into the setting dialog
ttl <ttl@justmail.de>
parents:
13609
diff
changeset
|
218 <property name="text"> |
14307
be3e1a14a6de
Added an interface settings tab to the settings dialog. Made a few improvements on the editor. Wrote a small welcome text in the welcome wizard. Moved configuration file to ~/.config/octave-gui/settings.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13676
diff
changeset
|
219 <string>Highlight current line</string> |
13659
d98c6ef06dff
included some editor setting into the setting dialog
ttl <ttl@justmail.de>
parents:
13609
diff
changeset
|
220 </property> |
d98c6ef06dff
included some editor setting into the setting dialog
ttl <ttl@justmail.de>
parents:
13609
diff
changeset
|
221 </widget> |
d98c6ef06dff
included some editor setting into the setting dialog
ttl <ttl@justmail.de>
parents:
13609
diff
changeset
|
222 </item> |
d98c6ef06dff
included some editor setting into the setting dialog
ttl <ttl@justmail.de>
parents:
13609
diff
changeset
|
223 <item> |
d98c6ef06dff
included some editor setting into the setting dialog
ttl <ttl@justmail.de>
parents:
13609
diff
changeset
|
224 <widget class="QCheckBox" name="editor_codeCompletion"> |
d98c6ef06dff
included some editor setting into the setting dialog
ttl <ttl@justmail.de>
parents:
13609
diff
changeset
|
225 <property name="enabled"> |
d98c6ef06dff
included some editor setting into the setting dialog
ttl <ttl@justmail.de>
parents:
13609
diff
changeset
|
226 <bool>true</bool> |
d98c6ef06dff
included some editor setting into the setting dialog
ttl <ttl@justmail.de>
parents:
13609
diff
changeset
|
227 </property> |
d98c6ef06dff
included some editor setting into the setting dialog
ttl <ttl@justmail.de>
parents:
13609
diff
changeset
|
228 <property name="text"> |
d98c6ef06dff
included some editor setting into the setting dialog
ttl <ttl@justmail.de>
parents:
13609
diff
changeset
|
229 <string>Code completion</string> |
d98c6ef06dff
included some editor setting into the setting dialog
ttl <ttl@justmail.de>
parents:
13609
diff
changeset
|
230 </property> |
d98c6ef06dff
included some editor setting into the setting dialog
ttl <ttl@justmail.de>
parents:
13609
diff
changeset
|
231 <property name="checked"> |
d98c6ef06dff
included some editor setting into the setting dialog
ttl <ttl@justmail.de>
parents:
13609
diff
changeset
|
232 <bool>false</bool> |
d98c6ef06dff
included some editor setting into the setting dialog
ttl <ttl@justmail.de>
parents:
13609
diff
changeset
|
233 </property> |
d98c6ef06dff
included some editor setting into the setting dialog
ttl <ttl@justmail.de>
parents:
13609
diff
changeset
|
234 </widget> |
d98c6ef06dff
included some editor setting into the setting dialog
ttl <ttl@justmail.de>
parents:
13609
diff
changeset
|
235 </item> |
13672
c9501268a194
filename with or without full path in tabs of the editor
ttl <ttl@justmail.de>
parents:
13668
diff
changeset
|
236 <item> |
c9501268a194
filename with or without full path in tabs of the editor
ttl <ttl@justmail.de>
parents:
13668
diff
changeset
|
237 <widget class="QCheckBox" name="editor_longWindowTitle"> |
c9501268a194
filename with or without full path in tabs of the editor
ttl <ttl@justmail.de>
parents:
13668
diff
changeset
|
238 <property name="text"> |
c9501268a194
filename with or without full path in tabs of the editor
ttl <ttl@justmail.de>
parents:
13668
diff
changeset
|
239 <string>Show complete path in window title</string> |
c9501268a194
filename with or without full path in tabs of the editor
ttl <ttl@justmail.de>
parents:
13668
diff
changeset
|
240 </property> |
c9501268a194
filename with or without full path in tabs of the editor
ttl <ttl@justmail.de>
parents:
13668
diff
changeset
|
241 </widget> |
c9501268a194
filename with or without full path in tabs of the editor
ttl <ttl@justmail.de>
parents:
13668
diff
changeset
|
242 </item> |
15356
842ab161c10a
GUI: new setting to restore tabs from previous session; allow silent load file
Thorsten Liebig <Thorsten.Liebig@gmx.de>
parents:
15274
diff
changeset
|
243 <item> |
842ab161c10a
GUI: new setting to restore tabs from previous session; allow silent load file
Thorsten Liebig <Thorsten.Liebig@gmx.de>
parents:
15274
diff
changeset
|
244 <widget class="QCheckBox" name="editor_restoreSession"> |
842ab161c10a
GUI: new setting to restore tabs from previous session; allow silent load file
Thorsten Liebig <Thorsten.Liebig@gmx.de>
parents:
15274
diff
changeset
|
245 <property name="text"> |
842ab161c10a
GUI: new setting to restore tabs from previous session; allow silent load file
Thorsten Liebig <Thorsten.Liebig@gmx.de>
parents:
15274
diff
changeset
|
246 <string>Restore tabs from previous session on startup</string> |
842ab161c10a
GUI: new setting to restore tabs from previous session; allow silent load file
Thorsten Liebig <Thorsten.Liebig@gmx.de>
parents:
15274
diff
changeset
|
247 </property> |
842ab161c10a
GUI: new setting to restore tabs from previous session; allow silent load file
Thorsten Liebig <Thorsten.Liebig@gmx.de>
parents:
15274
diff
changeset
|
248 </widget> |
842ab161c10a
GUI: new setting to restore tabs from previous session; allow silent load file
Thorsten Liebig <Thorsten.Liebig@gmx.de>
parents:
15274
diff
changeset
|
249 </item> |
13659
d98c6ef06dff
included some editor setting into the setting dialog
ttl <ttl@justmail.de>
parents:
13609
diff
changeset
|
250 </layout> |
d98c6ef06dff
included some editor setting into the setting dialog
ttl <ttl@justmail.de>
parents:
13609
diff
changeset
|
251 </item> |
14307
be3e1a14a6de
Added an interface settings tab to the settings dialog. Made a few improvements on the editor. Wrote a small welcome text in the welcome wizard. Moved configuration file to ~/.config/octave-gui/settings.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13676
diff
changeset
|
252 <item> |
14599
97cb9286919c
Cleaned up code.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
14588
diff
changeset
|
253 <spacer name="verticalSpacer"> |
97cb9286919c
Cleaned up code.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
14588
diff
changeset
|
254 <property name="orientation"> |
97cb9286919c
Cleaned up code.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
14588
diff
changeset
|
255 <enum>Qt::Vertical</enum> |
97cb9286919c
Cleaned up code.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
14588
diff
changeset
|
256 </property> |
97cb9286919c
Cleaned up code.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
14588
diff
changeset
|
257 <property name="sizeHint" stdset="0"> |
97cb9286919c
Cleaned up code.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
14588
diff
changeset
|
258 <size> |
97cb9286919c
Cleaned up code.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
14588
diff
changeset
|
259 <width>20</width> |
97cb9286919c
Cleaned up code.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
14588
diff
changeset
|
260 <height>40</height> |
97cb9286919c
Cleaned up code.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
14588
diff
changeset
|
261 </size> |
97cb9286919c
Cleaned up code.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
14588
diff
changeset
|
262 </property> |
97cb9286919c
Cleaned up code.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
14588
diff
changeset
|
263 </spacer> |
97cb9286919c
Cleaned up code.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
14588
diff
changeset
|
264 </item> |
97cb9286919c
Cleaned up code.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
14588
diff
changeset
|
265 <item> |
16407
4d438dffbfac
gui: call external editor when opening a file and custom editor is selected
Torsten <ttl@justmail.de>
parents:
16402
diff
changeset
|
266 <widget class="QCheckBox" name="useCustomFileEditor"> |
4d438dffbfac
gui: call external editor when opening a file and custom editor is selected
Torsten <ttl@justmail.de>
parents:
16402
diff
changeset
|
267 <property name="enabled"> |
4d438dffbfac
gui: call external editor when opening a file and custom editor is selected
Torsten <ttl@justmail.de>
parents:
16402
diff
changeset
|
268 <bool>true</bool> |
4d438dffbfac
gui: call external editor when opening a file and custom editor is selected
Torsten <ttl@justmail.de>
parents:
16402
diff
changeset
|
269 </property> |
4d438dffbfac
gui: call external editor when opening a file and custom editor is selected
Torsten <ttl@justmail.de>
parents:
16402
diff
changeset
|
270 <property name="text"> |
4d438dffbfac
gui: call external editor when opening a file and custom editor is selected
Torsten <ttl@justmail.de>
parents:
16402
diff
changeset
|
271 <string>Use custom file editor</string> |
4d438dffbfac
gui: call external editor when opening a file and custom editor is selected
Torsten <ttl@justmail.de>
parents:
16402
diff
changeset
|
272 </property> |
4d438dffbfac
gui: call external editor when opening a file and custom editor is selected
Torsten <ttl@justmail.de>
parents:
16402
diff
changeset
|
273 </widget> |
4d438dffbfac
gui: call external editor when opening a file and custom editor is selected
Torsten <ttl@justmail.de>
parents:
16402
diff
changeset
|
274 </item> |
4d438dffbfac
gui: call external editor when opening a file and custom editor is selected
Torsten <ttl@justmail.de>
parents:
16402
diff
changeset
|
275 <item> |
14599
97cb9286919c
Cleaned up code.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
14588
diff
changeset
|
276 <layout class="QHBoxLayout" name="horizontalLayout"> |
13659
d98c6ef06dff
included some editor setting into the setting dialog
ttl <ttl@justmail.de>
parents:
13609
diff
changeset
|
277 <item> |
16407
4d438dffbfac
gui: call external editor when opening a file and custom editor is selected
Torsten <ttl@justmail.de>
parents:
16402
diff
changeset
|
278 <widget class="QLabel" name="customEditorLabel"> |
14599
97cb9286919c
Cleaned up code.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
14588
diff
changeset
|
279 <property name="enabled"> |
16407
4d438dffbfac
gui: call external editor when opening a file and custom editor is selected
Torsten <ttl@justmail.de>
parents:
16402
diff
changeset
|
280 <bool>false</bool> |
14599
97cb9286919c
Cleaned up code.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
14588
diff
changeset
|
281 </property> |
97cb9286919c
Cleaned up code.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
14588
diff
changeset
|
282 <property name="text"> |
16407
4d438dffbfac
gui: call external editor when opening a file and custom editor is selected
Torsten <ttl@justmail.de>
parents:
16402
diff
changeset
|
283 <string>Command line (%f=file, %l=line):</string> |
14599
97cb9286919c
Cleaned up code.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
14588
diff
changeset
|
284 </property> |
97cb9286919c
Cleaned up code.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
14588
diff
changeset
|
285 </widget> |
97cb9286919c
Cleaned up code.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
14588
diff
changeset
|
286 </item> |
97cb9286919c
Cleaned up code.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
14588
diff
changeset
|
287 <item> |
97cb9286919c
Cleaned up code.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
14588
diff
changeset
|
288 <widget class="QLineEdit" name="customFileEditor"> |
97cb9286919c
Cleaned up code.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
14588
diff
changeset
|
289 <property name="enabled"> |
97cb9286919c
Cleaned up code.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
14588
diff
changeset
|
290 <bool>false</bool> |
97cb9286919c
Cleaned up code.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
14588
diff
changeset
|
291 </property> |
97cb9286919c
Cleaned up code.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
14588
diff
changeset
|
292 <property name="text"> |
97cb9286919c
Cleaned up code.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
14588
diff
changeset
|
293 <string>emacs</string> |
97cb9286919c
Cleaned up code.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
14588
diff
changeset
|
294 </property> |
97cb9286919c
Cleaned up code.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
14588
diff
changeset
|
295 </widget> |
97cb9286919c
Cleaned up code.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
14588
diff
changeset
|
296 </item> |
97cb9286919c
Cleaned up code.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
14588
diff
changeset
|
297 </layout> |
97cb9286919c
Cleaned up code.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
14588
diff
changeset
|
298 </item> |
97cb9286919c
Cleaned up code.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
14588
diff
changeset
|
299 </layout> |
97cb9286919c
Cleaned up code.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
14588
diff
changeset
|
300 </widget> |
16402
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
15972
diff
changeset
|
301 <widget class="QWidget" name="tab_6"> |
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
15972
diff
changeset
|
302 <attribute name="title"> |
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
15972
diff
changeset
|
303 <string>Editor Styles</string> |
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
15972
diff
changeset
|
304 </attribute> |
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
15972
diff
changeset
|
305 <widget class="QTabWidget" name="tabs_editor_styles"> |
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
15972
diff
changeset
|
306 <property name="geometry"> |
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
15972
diff
changeset
|
307 <rect> |
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
15972
diff
changeset
|
308 <x>2</x> |
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
15972
diff
changeset
|
309 <y>9</y> |
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
15972
diff
changeset
|
310 <width>671</width> |
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
15972
diff
changeset
|
311 <height>381</height> |
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
15972
diff
changeset
|
312 </rect> |
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
15972
diff
changeset
|
313 </property> |
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
15972
diff
changeset
|
314 </widget> |
7fa90eb41240
gui: individually configurable styles of the editor lexers
Torsten <ttl@justmail.de>
parents:
15972
diff
changeset
|
315 </widget> |
14599
97cb9286919c
Cleaned up code.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
14588
diff
changeset
|
316 <widget class="QWidget" name="tab_5"> |
97cb9286919c
Cleaned up code.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
14588
diff
changeset
|
317 <attribute name="title"> |
97cb9286919c
Cleaned up code.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
14588
diff
changeset
|
318 <string>Terminal</string> |
97cb9286919c
Cleaned up code.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
14588
diff
changeset
|
319 </attribute> |
16620
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
320 <widget class="QWidget" name="horizontalLayoutWidget"> |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
321 <property name="geometry"> |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
322 <rect> |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
323 <x>10</x> |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
324 <y>50</y> |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
325 <width>631</width> |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
326 <height>31</height> |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
327 </rect> |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
328 </property> |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
329 <layout class="QHBoxLayout" name="horizontalLayout_3"> |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
330 <item> |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
331 <widget class="QLabel" name="label"> |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
332 <property name="text"> |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
333 <string>Cursor type:</string> |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
334 </property> |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
335 </widget> |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
336 </item> |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
337 <item> |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
338 <widget class="QComboBox" name="terminal_cursorType"/> |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
339 </item> |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
340 <item> |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
341 <spacer name="horizontalSpacer"> |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
342 <property name="orientation"> |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
343 <enum>Qt::Horizontal</enum> |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
344 </property> |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
345 <property name="sizeHint" stdset="0"> |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
346 <size> |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
347 <width>40</width> |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
348 <height>20</height> |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
349 </size> |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
350 </property> |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
351 </spacer> |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
352 </item> |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
353 <item> |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
354 <widget class="QCheckBox" name="terminal_cursorBlinking"> |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
355 <property name="text"> |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
356 <string>Cursor blinking</string> |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
357 </property> |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
358 </widget> |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
359 </item> |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
360 <item> |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
361 <widget class="QCheckBox" name="terminal_cursorUseForegroundColor"> |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
362 <property name="text"> |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
363 <string>Use Foreground Color</string> |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
364 </property> |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
365 </widget> |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
366 </item> |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
367 </layout> |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
368 </widget> |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
369 <widget class="QWidget" name="verticalLayoutWidget_2"> |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
370 <property name="geometry"> |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
371 <rect> |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
372 <x>10</x> |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
373 <y>90</y> |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
374 <width>631</width> |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
375 <height>164</height> |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
376 </rect> |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
377 </property> |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
378 <layout class="QVBoxLayout" name="verticalLayout"> |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
379 <item> |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
380 <widget class="QGroupBox" name="terminal_colors_box"> |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
381 <property name="minimumSize"> |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
382 <size> |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
383 <width>0</width> |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
384 <height>162</height> |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
385 </size> |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
386 </property> |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
387 <property name="title"> |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
388 <string>Terminal Colors</string> |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
389 </property> |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
390 </widget> |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
391 </item> |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
392 </layout> |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
393 </widget> |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
394 <widget class="QWidget" name="verticalLayoutWidget_3"> |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
395 <property name="geometry"> |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
396 <rect> |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
397 <x>10</x> |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
398 <y>260</y> |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
399 <width>631</width> |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
400 <height>121</height> |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
401 </rect> |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
402 </property> |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
403 <layout class="QVBoxLayout" name="verticalLayout_8"> |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
404 <item> |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
405 <spacer name="verticalSpacer_3"> |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
406 <property name="orientation"> |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
407 <enum>Qt::Vertical</enum> |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
408 </property> |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
409 <property name="sizeHint" stdset="0"> |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
410 <size> |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
411 <width>20</width> |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
412 <height>40</height> |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
413 </size> |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
414 </property> |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
415 </spacer> |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
416 </item> |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
417 </layout> |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
418 </widget> |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
419 <widget class="QWidget" name="layoutWidget"> |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
420 <property name="geometry"> |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
421 <rect> |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
422 <x>10</x> |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
423 <y>10</y> |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
424 <width>631</width> |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
425 <height>30</height> |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
426 </rect> |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
427 </property> |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
428 <layout class="QHBoxLayout" name="horizontalLayout_5"> |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
429 <item> |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
430 <widget class="QLabel" name="label_11"> |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
431 <property name="text"> |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
432 <string>Font</string> |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
433 </property> |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
434 </widget> |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
435 </item> |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
436 <item> |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
437 <widget class="QFontComboBox" name="terminal_fontName"> |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
438 <property name="editable"> |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
439 <bool>false</bool> |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
440 </property> |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
441 <property name="fontFilters"> |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
442 <set>QFontComboBox::MonospacedFonts</set> |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
443 </property> |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
444 </widget> |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
445 </item> |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
446 <item> |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
447 <widget class="QLabel" name="label_12"> |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
448 <property name="text"> |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
449 <string>Font Size</string> |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
450 </property> |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
451 </widget> |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
452 </item> |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
453 <item> |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
454 <widget class="QSpinBox" name="terminal_fontSize"> |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
455 <property name="minimum"> |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
456 <number>2</number> |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
457 </property> |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
458 <property name="maximum"> |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
459 <number>96</number> |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
460 </property> |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
461 <property name="value"> |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
462 <number>10</number> |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
463 </property> |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
464 </widget> |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
465 </item> |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
466 <item> |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
467 <spacer name="horizontalSpacer_5"> |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
468 <property name="orientation"> |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
469 <enum>Qt::Horizontal</enum> |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
470 </property> |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
471 <property name="sizeHint" stdset="0"> |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
472 <size> |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
473 <width>40</width> |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
474 <height>20</height> |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
475 </size> |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
476 </property> |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
477 </spacer> |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
478 </item> |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
479 </layout> |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
480 </widget> |
13531
bb3676025b36
User can set a custom file editor instead of the built-in one.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13501
diff
changeset
|
481 </widget> |
13536
869c62c15e95
Few minor improvements, added advanced settings for file browser.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13531
diff
changeset
|
482 <widget class="QWidget" name="tab_2"> |
869c62c15e95
Few minor improvements, added advanced settings for file browser.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13531
diff
changeset
|
483 <attribute name="title"> |
869c62c15e95
Few minor improvements, added advanced settings for file browser.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13531
diff
changeset
|
484 <string>File Browser</string> |
869c62c15e95
Few minor improvements, added advanced settings for file browser.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13531
diff
changeset
|
485 </attribute> |
869c62c15e95
Few minor improvements, added advanced settings for file browser.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13531
diff
changeset
|
486 <layout class="QVBoxLayout" name="verticalLayout_3"> |
869c62c15e95
Few minor improvements, added advanced settings for file browser.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13531
diff
changeset
|
487 <item> |
869c62c15e95
Few minor improvements, added advanced settings for file browser.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13531
diff
changeset
|
488 <widget class="QCheckBox" name="showFileSize"> |
869c62c15e95
Few minor improvements, added advanced settings for file browser.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13531
diff
changeset
|
489 <property name="text"> |
869c62c15e95
Few minor improvements, added advanced settings for file browser.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13531
diff
changeset
|
490 <string>Show file size</string> |
869c62c15e95
Few minor improvements, added advanced settings for file browser.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13531
diff
changeset
|
491 </property> |
869c62c15e95
Few minor improvements, added advanced settings for file browser.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13531
diff
changeset
|
492 </widget> |
869c62c15e95
Few minor improvements, added advanced settings for file browser.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13531
diff
changeset
|
493 </item> |
869c62c15e95
Few minor improvements, added advanced settings for file browser.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13531
diff
changeset
|
494 <item> |
869c62c15e95
Few minor improvements, added advanced settings for file browser.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13531
diff
changeset
|
495 <widget class="QCheckBox" name="showFileType"> |
869c62c15e95
Few minor improvements, added advanced settings for file browser.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13531
diff
changeset
|
496 <property name="text"> |
869c62c15e95
Few minor improvements, added advanced settings for file browser.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13531
diff
changeset
|
497 <string>Show file type</string> |
869c62c15e95
Few minor improvements, added advanced settings for file browser.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13531
diff
changeset
|
498 </property> |
869c62c15e95
Few minor improvements, added advanced settings for file browser.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13531
diff
changeset
|
499 </widget> |
869c62c15e95
Few minor improvements, added advanced settings for file browser.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13531
diff
changeset
|
500 </item> |
869c62c15e95
Few minor improvements, added advanced settings for file browser.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13531
diff
changeset
|
501 <item> |
869c62c15e95
Few minor improvements, added advanced settings for file browser.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13531
diff
changeset
|
502 <widget class="QCheckBox" name="showLastModified"> |
869c62c15e95
Few minor improvements, added advanced settings for file browser.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13531
diff
changeset
|
503 <property name="text"> |
869c62c15e95
Few minor improvements, added advanced settings for file browser.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13531
diff
changeset
|
504 <string>Show date of last modification</string> |
869c62c15e95
Few minor improvements, added advanced settings for file browser.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13531
diff
changeset
|
505 </property> |
869c62c15e95
Few minor improvements, added advanced settings for file browser.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13531
diff
changeset
|
506 </widget> |
869c62c15e95
Few minor improvements, added advanced settings for file browser.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13531
diff
changeset
|
507 </item> |
869c62c15e95
Few minor improvements, added advanced settings for file browser.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13531
diff
changeset
|
508 <item> |
869c62c15e95
Few minor improvements, added advanced settings for file browser.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13531
diff
changeset
|
509 <widget class="QCheckBox" name="showHiddenFiles"> |
869c62c15e95
Few minor improvements, added advanced settings for file browser.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13531
diff
changeset
|
510 <property name="text"> |
869c62c15e95
Few minor improvements, added advanced settings for file browser.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13531
diff
changeset
|
511 <string>Show hidden files</string> |
869c62c15e95
Few minor improvements, added advanced settings for file browser.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13531
diff
changeset
|
512 </property> |
869c62c15e95
Few minor improvements, added advanced settings for file browser.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13531
diff
changeset
|
513 </widget> |
869c62c15e95
Few minor improvements, added advanced settings for file browser.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13531
diff
changeset
|
514 </item> |
869c62c15e95
Few minor improvements, added advanced settings for file browser.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13531
diff
changeset
|
515 <item> |
16499
facf00ce97d3
gui: configurable synchronization between file browser and octave directory
Torsten <ttl@justmail.de>
parents:
16410
diff
changeset
|
516 <widget class="QCheckBox" name="sync_octave_directory"> |
facf00ce97d3
gui: configurable synchronization between file browser and octave directory
Torsten <ttl@justmail.de>
parents:
16410
diff
changeset
|
517 <property name="text"> |
facf00ce97d3
gui: configurable synchronization between file browser and octave directory
Torsten <ttl@justmail.de>
parents:
16410
diff
changeset
|
518 <string>Synchronize octave directory with the file browser</string> |
facf00ce97d3
gui: configurable synchronization between file browser and octave directory
Torsten <ttl@justmail.de>
parents:
16410
diff
changeset
|
519 </property> |
facf00ce97d3
gui: configurable synchronization between file browser and octave directory
Torsten <ttl@justmail.de>
parents:
16410
diff
changeset
|
520 </widget> |
facf00ce97d3
gui: configurable synchronization between file browser and octave directory
Torsten <ttl@justmail.de>
parents:
16410
diff
changeset
|
521 </item> |
facf00ce97d3
gui: configurable synchronization between file browser and octave directory
Torsten <ttl@justmail.de>
parents:
16410
diff
changeset
|
522 <item> |
13536
869c62c15e95
Few minor improvements, added advanced settings for file browser.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13531
diff
changeset
|
523 <widget class="QCheckBox" name="useAlternatingRowColors"> |
869c62c15e95
Few minor improvements, added advanced settings for file browser.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13531
diff
changeset
|
524 <property name="text"> |
869c62c15e95
Few minor improvements, added advanced settings for file browser.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13531
diff
changeset
|
525 <string>Alternating row colors</string> |
869c62c15e95
Few minor improvements, added advanced settings for file browser.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13531
diff
changeset
|
526 </property> |
869c62c15e95
Few minor improvements, added advanced settings for file browser.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13531
diff
changeset
|
527 </widget> |
869c62c15e95
Few minor improvements, added advanced settings for file browser.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13531
diff
changeset
|
528 </item> |
14307
be3e1a14a6de
Added an interface settings tab to the settings dialog. Made a few improvements on the editor. Wrote a small welcome text in the welcome wizard. Moved configuration file to ~/.config/octave-gui/settings.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13676
diff
changeset
|
529 <item> |
be3e1a14a6de
Added an interface settings tab to the settings dialog. Made a few improvements on the editor. Wrote a small welcome text in the welcome wizard. Moved configuration file to ~/.config/octave-gui/settings.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13676
diff
changeset
|
530 <spacer name="verticalSpacer_2"> |
be3e1a14a6de
Added an interface settings tab to the settings dialog. Made a few improvements on the editor. Wrote a small welcome text in the welcome wizard. Moved configuration file to ~/.config/octave-gui/settings.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13676
diff
changeset
|
531 <property name="orientation"> |
be3e1a14a6de
Added an interface settings tab to the settings dialog. Made a few improvements on the editor. Wrote a small welcome text in the welcome wizard. Moved configuration file to ~/.config/octave-gui/settings.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13676
diff
changeset
|
532 <enum>Qt::Vertical</enum> |
be3e1a14a6de
Added an interface settings tab to the settings dialog. Made a few improvements on the editor. Wrote a small welcome text in the welcome wizard. Moved configuration file to ~/.config/octave-gui/settings.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13676
diff
changeset
|
533 </property> |
be3e1a14a6de
Added an interface settings tab to the settings dialog. Made a few improvements on the editor. Wrote a small welcome text in the welcome wizard. Moved configuration file to ~/.config/octave-gui/settings.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13676
diff
changeset
|
534 <property name="sizeHint" stdset="0"> |
be3e1a14a6de
Added an interface settings tab to the settings dialog. Made a few improvements on the editor. Wrote a small welcome text in the welcome wizard. Moved configuration file to ~/.config/octave-gui/settings.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13676
diff
changeset
|
535 <size> |
be3e1a14a6de
Added an interface settings tab to the settings dialog. Made a few improvements on the editor. Wrote a small welcome text in the welcome wizard. Moved configuration file to ~/.config/octave-gui/settings.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13676
diff
changeset
|
536 <width>20</width> |
be3e1a14a6de
Added an interface settings tab to the settings dialog. Made a few improvements on the editor. Wrote a small welcome text in the welcome wizard. Moved configuration file to ~/.config/octave-gui/settings.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13676
diff
changeset
|
537 <height>360</height> |
be3e1a14a6de
Added an interface settings tab to the settings dialog. Made a few improvements on the editor. Wrote a small welcome text in the welcome wizard. Moved configuration file to ~/.config/octave-gui/settings.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13676
diff
changeset
|
538 </size> |
be3e1a14a6de
Added an interface settings tab to the settings dialog. Made a few improvements on the editor. Wrote a small welcome text in the welcome wizard. Moved configuration file to ~/.config/octave-gui/settings.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13676
diff
changeset
|
539 </property> |
be3e1a14a6de
Added an interface settings tab to the settings dialog. Made a few improvements on the editor. Wrote a small welcome text in the welcome wizard. Moved configuration file to ~/.config/octave-gui/settings.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13676
diff
changeset
|
540 </spacer> |
be3e1a14a6de
Added an interface settings tab to the settings dialog. Made a few improvements on the editor. Wrote a small welcome text in the welcome wizard. Moved configuration file to ~/.config/octave-gui/settings.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13676
diff
changeset
|
541 </item> |
13536
869c62c15e95
Few minor improvements, added advanced settings for file browser.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13531
diff
changeset
|
542 </layout> |
869c62c15e95
Few minor improvements, added advanced settings for file browser.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13531
diff
changeset
|
543 </widget> |
16610
a1f613e5066d
workspace view colors based upon variable scope (derived from Dan's patch #8013)
Torsten <ttl@justmail.de>
parents:
16525
diff
changeset
|
544 <widget class="QWidget" name="tab_workspace"> |
a1f613e5066d
workspace view colors based upon variable scope (derived from Dan's patch #8013)
Torsten <ttl@justmail.de>
parents:
16525
diff
changeset
|
545 <attribute name="title"> |
a1f613e5066d
workspace view colors based upon variable scope (derived from Dan's patch #8013)
Torsten <ttl@justmail.de>
parents:
16525
diff
changeset
|
546 <string>Workspace</string> |
a1f613e5066d
workspace view colors based upon variable scope (derived from Dan's patch #8013)
Torsten <ttl@justmail.de>
parents:
16525
diff
changeset
|
547 </attribute> |
a1f613e5066d
workspace view colors based upon variable scope (derived from Dan's patch #8013)
Torsten <ttl@justmail.de>
parents:
16525
diff
changeset
|
548 <widget class="QGroupBox" name="workspace_colors_box"> |
a1f613e5066d
workspace view colors based upon variable scope (derived from Dan's patch #8013)
Torsten <ttl@justmail.de>
parents:
16525
diff
changeset
|
549 <property name="geometry"> |
a1f613e5066d
workspace view colors based upon variable scope (derived from Dan's patch #8013)
Torsten <ttl@justmail.de>
parents:
16525
diff
changeset
|
550 <rect> |
a1f613e5066d
workspace view colors based upon variable scope (derived from Dan's patch #8013)
Torsten <ttl@justmail.de>
parents:
16525
diff
changeset
|
551 <x>19</x> |
a1f613e5066d
workspace view colors based upon variable scope (derived from Dan's patch #8013)
Torsten <ttl@justmail.de>
parents:
16525
diff
changeset
|
552 <y>19</y> |
a1f613e5066d
workspace view colors based upon variable scope (derived from Dan's patch #8013)
Torsten <ttl@justmail.de>
parents:
16525
diff
changeset
|
553 <width>631</width> |
a1f613e5066d
workspace view colors based upon variable scope (derived from Dan's patch #8013)
Torsten <ttl@justmail.de>
parents:
16525
diff
changeset
|
554 <height>81</height> |
a1f613e5066d
workspace view colors based upon variable scope (derived from Dan's patch #8013)
Torsten <ttl@justmail.de>
parents:
16525
diff
changeset
|
555 </rect> |
a1f613e5066d
workspace view colors based upon variable scope (derived from Dan's patch #8013)
Torsten <ttl@justmail.de>
parents:
16525
diff
changeset
|
556 </property> |
16620
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
557 <property name="minimumSize"> |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
558 <size> |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
559 <width>0</width> |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
560 <height>81</height> |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
561 </size> |
818eef7b2618
allow terminal colors to be set from preferences dialog
John W. Eaton <jwe@octave.org>
parents:
16610
diff
changeset
|
562 </property> |
16610
a1f613e5066d
workspace view colors based upon variable scope (derived from Dan's patch #8013)
Torsten <ttl@justmail.de>
parents:
16525
diff
changeset
|
563 <property name="title"> |
a1f613e5066d
workspace view colors based upon variable scope (derived from Dan's patch #8013)
Torsten <ttl@justmail.de>
parents:
16525
diff
changeset
|
564 <string>Storage Class Colors</string> |
a1f613e5066d
workspace view colors based upon variable scope (derived from Dan's patch #8013)
Torsten <ttl@justmail.de>
parents:
16525
diff
changeset
|
565 </property> |
a1f613e5066d
workspace view colors based upon variable scope (derived from Dan's patch #8013)
Torsten <ttl@justmail.de>
parents:
16525
diff
changeset
|
566 </widget> |
a1f613e5066d
workspace view colors based upon variable scope (derived from Dan's patch #8013)
Torsten <ttl@justmail.de>
parents:
16525
diff
changeset
|
567 </widget> |
13606
ac9ef5a29460
Added proxy network settings tab and translators file.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13538
diff
changeset
|
568 <widget class="QWidget" name="tab_3"> |
ac9ef5a29460
Added proxy network settings tab and translators file.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13538
diff
changeset
|
569 <attribute name="title"> |
ac9ef5a29460
Added proxy network settings tab and translators file.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13538
diff
changeset
|
570 <string>Network</string> |
ac9ef5a29460
Added proxy network settings tab and translators file.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13538
diff
changeset
|
571 </attribute> |
ac9ef5a29460
Added proxy network settings tab and translators file.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13538
diff
changeset
|
572 <layout class="QVBoxLayout" name="verticalLayout_4"> |
ac9ef5a29460
Added proxy network settings tab and translators file.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13538
diff
changeset
|
573 <item> |
ac9ef5a29460
Added proxy network settings tab and translators file.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13538
diff
changeset
|
574 <widget class="QCheckBox" name="useProxyServer"> |
ac9ef5a29460
Added proxy network settings tab and translators file.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13538
diff
changeset
|
575 <property name="text"> |
ac9ef5a29460
Added proxy network settings tab and translators file.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13538
diff
changeset
|
576 <string>Use proxy server</string> |
ac9ef5a29460
Added proxy network settings tab and translators file.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13538
diff
changeset
|
577 </property> |
ac9ef5a29460
Added proxy network settings tab and translators file.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13538
diff
changeset
|
578 </widget> |
ac9ef5a29460
Added proxy network settings tab and translators file.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13538
diff
changeset
|
579 </item> |
ac9ef5a29460
Added proxy network settings tab and translators file.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13538
diff
changeset
|
580 <item> |
ac9ef5a29460
Added proxy network settings tab and translators file.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13538
diff
changeset
|
581 <layout class="QFormLayout" name="formLayout"> |
ac9ef5a29460
Added proxy network settings tab and translators file.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13538
diff
changeset
|
582 <item row="0" column="0"> |
ac9ef5a29460
Added proxy network settings tab and translators file.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13538
diff
changeset
|
583 <widget class="QLabel" name="label_3"> |
ac9ef5a29460
Added proxy network settings tab and translators file.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13538
diff
changeset
|
584 <property name="enabled"> |
ac9ef5a29460
Added proxy network settings tab and translators file.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13538
diff
changeset
|
585 <bool>false</bool> |
ac9ef5a29460
Added proxy network settings tab and translators file.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13538
diff
changeset
|
586 </property> |
ac9ef5a29460
Added proxy network settings tab and translators file.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13538
diff
changeset
|
587 <property name="text"> |
ac9ef5a29460
Added proxy network settings tab and translators file.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13538
diff
changeset
|
588 <string>Proxy Type:</string> |
ac9ef5a29460
Added proxy network settings tab and translators file.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13538
diff
changeset
|
589 </property> |
ac9ef5a29460
Added proxy network settings tab and translators file.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13538
diff
changeset
|
590 </widget> |
ac9ef5a29460
Added proxy network settings tab and translators file.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13538
diff
changeset
|
591 </item> |
ac9ef5a29460
Added proxy network settings tab and translators file.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13538
diff
changeset
|
592 <item row="0" column="1"> |
ac9ef5a29460
Added proxy network settings tab and translators file.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13538
diff
changeset
|
593 <widget class="QComboBox" name="proxyType"> |
ac9ef5a29460
Added proxy network settings tab and translators file.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13538
diff
changeset
|
594 <property name="enabled"> |
ac9ef5a29460
Added proxy network settings tab and translators file.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13538
diff
changeset
|
595 <bool>false</bool> |
ac9ef5a29460
Added proxy network settings tab and translators file.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13538
diff
changeset
|
596 </property> |
ac9ef5a29460
Added proxy network settings tab and translators file.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13538
diff
changeset
|
597 <item> |
ac9ef5a29460
Added proxy network settings tab and translators file.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13538
diff
changeset
|
598 <property name="text"> |
ac9ef5a29460
Added proxy network settings tab and translators file.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13538
diff
changeset
|
599 <string>HttpProxy</string> |
ac9ef5a29460
Added proxy network settings tab and translators file.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13538
diff
changeset
|
600 </property> |
ac9ef5a29460
Added proxy network settings tab and translators file.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13538
diff
changeset
|
601 </item> |
ac9ef5a29460
Added proxy network settings tab and translators file.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13538
diff
changeset
|
602 <item> |
ac9ef5a29460
Added proxy network settings tab and translators file.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13538
diff
changeset
|
603 <property name="text"> |
ac9ef5a29460
Added proxy network settings tab and translators file.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13538
diff
changeset
|
604 <string>Socks5Proxy</string> |
ac9ef5a29460
Added proxy network settings tab and translators file.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13538
diff
changeset
|
605 </property> |
ac9ef5a29460
Added proxy network settings tab and translators file.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13538
diff
changeset
|
606 </item> |
ac9ef5a29460
Added proxy network settings tab and translators file.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13538
diff
changeset
|
607 </widget> |
ac9ef5a29460
Added proxy network settings tab and translators file.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13538
diff
changeset
|
608 </item> |
ac9ef5a29460
Added proxy network settings tab and translators file.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13538
diff
changeset
|
609 <item row="1" column="0"> |
ac9ef5a29460
Added proxy network settings tab and translators file.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13538
diff
changeset
|
610 <widget class="QLabel" name="label_4"> |
ac9ef5a29460
Added proxy network settings tab and translators file.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13538
diff
changeset
|
611 <property name="enabled"> |
ac9ef5a29460
Added proxy network settings tab and translators file.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13538
diff
changeset
|
612 <bool>false</bool> |
ac9ef5a29460
Added proxy network settings tab and translators file.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13538
diff
changeset
|
613 </property> |
ac9ef5a29460
Added proxy network settings tab and translators file.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13538
diff
changeset
|
614 <property name="text"> |
ac9ef5a29460
Added proxy network settings tab and translators file.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13538
diff
changeset
|
615 <string>Hostname:</string> |
ac9ef5a29460
Added proxy network settings tab and translators file.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13538
diff
changeset
|
616 </property> |
ac9ef5a29460
Added proxy network settings tab and translators file.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13538
diff
changeset
|
617 </widget> |
ac9ef5a29460
Added proxy network settings tab and translators file.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13538
diff
changeset
|
618 </item> |
ac9ef5a29460
Added proxy network settings tab and translators file.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13538
diff
changeset
|
619 <item row="1" column="1"> |
ac9ef5a29460
Added proxy network settings tab and translators file.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13538
diff
changeset
|
620 <widget class="QLineEdit" name="proxyHostName"> |
ac9ef5a29460
Added proxy network settings tab and translators file.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13538
diff
changeset
|
621 <property name="enabled"> |
ac9ef5a29460
Added proxy network settings tab and translators file.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13538
diff
changeset
|
622 <bool>false</bool> |
ac9ef5a29460
Added proxy network settings tab and translators file.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13538
diff
changeset
|
623 </property> |
ac9ef5a29460
Added proxy network settings tab and translators file.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13538
diff
changeset
|
624 </widget> |
ac9ef5a29460
Added proxy network settings tab and translators file.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13538
diff
changeset
|
625 </item> |
ac9ef5a29460
Added proxy network settings tab and translators file.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13538
diff
changeset
|
626 <item row="2" column="0"> |
ac9ef5a29460
Added proxy network settings tab and translators file.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13538
diff
changeset
|
627 <widget class="QLabel" name="label_5"> |
ac9ef5a29460
Added proxy network settings tab and translators file.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13538
diff
changeset
|
628 <property name="enabled"> |
ac9ef5a29460
Added proxy network settings tab and translators file.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13538
diff
changeset
|
629 <bool>false</bool> |
ac9ef5a29460
Added proxy network settings tab and translators file.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13538
diff
changeset
|
630 </property> |
ac9ef5a29460
Added proxy network settings tab and translators file.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13538
diff
changeset
|
631 <property name="text"> |
ac9ef5a29460
Added proxy network settings tab and translators file.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13538
diff
changeset
|
632 <string>Port:</string> |
ac9ef5a29460
Added proxy network settings tab and translators file.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13538
diff
changeset
|
633 </property> |
ac9ef5a29460
Added proxy network settings tab and translators file.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13538
diff
changeset
|
634 </widget> |
ac9ef5a29460
Added proxy network settings tab and translators file.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13538
diff
changeset
|
635 </item> |
ac9ef5a29460
Added proxy network settings tab and translators file.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13538
diff
changeset
|
636 <item row="2" column="1"> |
ac9ef5a29460
Added proxy network settings tab and translators file.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13538
diff
changeset
|
637 <widget class="QLineEdit" name="proxyPort"> |
ac9ef5a29460
Added proxy network settings tab and translators file.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13538
diff
changeset
|
638 <property name="enabled"> |
ac9ef5a29460
Added proxy network settings tab and translators file.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13538
diff
changeset
|
639 <bool>false</bool> |
ac9ef5a29460
Added proxy network settings tab and translators file.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13538
diff
changeset
|
640 </property> |
ac9ef5a29460
Added proxy network settings tab and translators file.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13538
diff
changeset
|
641 </widget> |
ac9ef5a29460
Added proxy network settings tab and translators file.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13538
diff
changeset
|
642 </item> |
13609
b355901aade4
Added username and password field to proxy settings.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13606
diff
changeset
|
643 <item row="3" column="0"> |
b355901aade4
Added username and password field to proxy settings.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13606
diff
changeset
|
644 <widget class="QLabel" name="label_6"> |
b355901aade4
Added username and password field to proxy settings.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13606
diff
changeset
|
645 <property name="enabled"> |
b355901aade4
Added username and password field to proxy settings.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13606
diff
changeset
|
646 <bool>false</bool> |
b355901aade4
Added username and password field to proxy settings.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13606
diff
changeset
|
647 </property> |
b355901aade4
Added username and password field to proxy settings.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13606
diff
changeset
|
648 <property name="text"> |
b355901aade4
Added username and password field to proxy settings.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13606
diff
changeset
|
649 <string>Username:</string> |
b355901aade4
Added username and password field to proxy settings.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13606
diff
changeset
|
650 </property> |
b355901aade4
Added username and password field to proxy settings.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13606
diff
changeset
|
651 </widget> |
b355901aade4
Added username and password field to proxy settings.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13606
diff
changeset
|
652 </item> |
b355901aade4
Added username and password field to proxy settings.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13606
diff
changeset
|
653 <item row="3" column="1"> |
b355901aade4
Added username and password field to proxy settings.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13606
diff
changeset
|
654 <widget class="QLineEdit" name="proxyUserName"> |
b355901aade4
Added username and password field to proxy settings.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13606
diff
changeset
|
655 <property name="enabled"> |
b355901aade4
Added username and password field to proxy settings.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13606
diff
changeset
|
656 <bool>false</bool> |
b355901aade4
Added username and password field to proxy settings.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13606
diff
changeset
|
657 </property> |
b355901aade4
Added username and password field to proxy settings.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13606
diff
changeset
|
658 </widget> |
b355901aade4
Added username and password field to proxy settings.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13606
diff
changeset
|
659 </item> |
b355901aade4
Added username and password field to proxy settings.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13606
diff
changeset
|
660 <item row="4" column="0"> |
b355901aade4
Added username and password field to proxy settings.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13606
diff
changeset
|
661 <widget class="QLabel" name="label_7"> |
b355901aade4
Added username and password field to proxy settings.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13606
diff
changeset
|
662 <property name="enabled"> |
b355901aade4
Added username and password field to proxy settings.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13606
diff
changeset
|
663 <bool>false</bool> |
b355901aade4
Added username and password field to proxy settings.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13606
diff
changeset
|
664 </property> |
b355901aade4
Added username and password field to proxy settings.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13606
diff
changeset
|
665 <property name="text"> |
b355901aade4
Added username and password field to proxy settings.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13606
diff
changeset
|
666 <string>Password:</string> |
b355901aade4
Added username and password field to proxy settings.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13606
diff
changeset
|
667 </property> |
b355901aade4
Added username and password field to proxy settings.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13606
diff
changeset
|
668 </widget> |
b355901aade4
Added username and password field to proxy settings.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13606
diff
changeset
|
669 </item> |
b355901aade4
Added username and password field to proxy settings.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13606
diff
changeset
|
670 <item row="4" column="1"> |
b355901aade4
Added username and password field to proxy settings.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13606
diff
changeset
|
671 <widget class="QLineEdit" name="proxyPassword"> |
b355901aade4
Added username and password field to proxy settings.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13606
diff
changeset
|
672 <property name="enabled"> |
b355901aade4
Added username and password field to proxy settings.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13606
diff
changeset
|
673 <bool>false</bool> |
b355901aade4
Added username and password field to proxy settings.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13606
diff
changeset
|
674 </property> |
b355901aade4
Added username and password field to proxy settings.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13606
diff
changeset
|
675 <property name="echoMode"> |
b355901aade4
Added username and password field to proxy settings.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13606
diff
changeset
|
676 <enum>QLineEdit::Password</enum> |
b355901aade4
Added username and password field to proxy settings.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13606
diff
changeset
|
677 </property> |
b355901aade4
Added username and password field to proxy settings.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13606
diff
changeset
|
678 </widget> |
b355901aade4
Added username and password field to proxy settings.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13606
diff
changeset
|
679 </item> |
13606
ac9ef5a29460
Added proxy network settings tab and translators file.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13538
diff
changeset
|
680 </layout> |
ac9ef5a29460
Added proxy network settings tab and translators file.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13538
diff
changeset
|
681 </item> |
ac9ef5a29460
Added proxy network settings tab and translators file.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13538
diff
changeset
|
682 </layout> |
ac9ef5a29460
Added proxy network settings tab and translators file.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13538
diff
changeset
|
683 </widget> |
13501 | 684 </widget> |
685 </item> | |
15274
c5d09a57ceb2
provide buttons for the settings dialog (bug #36981)
Torsten <ttl@justmail.de>
parents:
15196
diff
changeset
|
686 <item> |
c5d09a57ceb2
provide buttons for the settings dialog (bug #36981)
Torsten <ttl@justmail.de>
parents:
15196
diff
changeset
|
687 <widget class="QDialogButtonBox" name="buttonBox"> |
c5d09a57ceb2
provide buttons for the settings dialog (bug #36981)
Torsten <ttl@justmail.de>
parents:
15196
diff
changeset
|
688 <property name="standardButtons"> |
c5d09a57ceb2
provide buttons for the settings dialog (bug #36981)
Torsten <ttl@justmail.de>
parents:
15196
diff
changeset
|
689 <set>QDialogButtonBox::Cancel|QDialogButtonBox::Ok</set> |
c5d09a57ceb2
provide buttons for the settings dialog (bug #36981)
Torsten <ttl@justmail.de>
parents:
15196
diff
changeset
|
690 </property> |
c5d09a57ceb2
provide buttons for the settings dialog (bug #36981)
Torsten <ttl@justmail.de>
parents:
15196
diff
changeset
|
691 </widget> |
c5d09a57ceb2
provide buttons for the settings dialog (bug #36981)
Torsten <ttl@justmail.de>
parents:
15196
diff
changeset
|
692 </item> |
13501 | 693 </layout> |
694 </widget> | |
695 <resources/> | |
13531
bb3676025b36
User can set a custom file editor instead of the built-in one.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13501
diff
changeset
|
696 <connections> |
bb3676025b36
User can set a custom file editor instead of the built-in one.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13501
diff
changeset
|
697 <connection> |
14308
3b6177bd63b0
Removed chat and chat settings, instead made a separate menu entry in the community menu.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
14307
diff
changeset
|
698 <sender>useProxyServer</sender> |
13531
bb3676025b36
User can set a custom file editor instead of the built-in one.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13501
diff
changeset
|
699 <signal>toggled(bool)</signal> |
14308
3b6177bd63b0
Removed chat and chat settings, instead made a separate menu entry in the community menu.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
14307
diff
changeset
|
700 <receiver>label_4</receiver> |
13531
bb3676025b36
User can set a custom file editor instead of the built-in one.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13501
diff
changeset
|
701 <slot>setEnabled(bool)</slot> |
bb3676025b36
User can set a custom file editor instead of the built-in one.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13501
diff
changeset
|
702 <hints> |
bb3676025b36
User can set a custom file editor instead of the built-in one.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13501
diff
changeset
|
703 <hint type="sourcelabel"> |
14308
3b6177bd63b0
Removed chat and chat settings, instead made a separate menu entry in the community menu.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
14307
diff
changeset
|
704 <x>249</x> |
3b6177bd63b0
Removed chat and chat settings, instead made a separate menu entry in the community menu.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
14307
diff
changeset
|
705 <y>59</y> |
13531
bb3676025b36
User can set a custom file editor instead of the built-in one.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13501
diff
changeset
|
706 </hint> |
bb3676025b36
User can set a custom file editor instead of the built-in one.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13501
diff
changeset
|
707 <hint type="destinationlabel"> |
14308
3b6177bd63b0
Removed chat and chat settings, instead made a separate menu entry in the community menu.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
14307
diff
changeset
|
708 <x>69</x> |
3b6177bd63b0
Removed chat and chat settings, instead made a separate menu entry in the community menu.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
14307
diff
changeset
|
709 <y>122</y> |
13531
bb3676025b36
User can set a custom file editor instead of the built-in one.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13501
diff
changeset
|
710 </hint> |
bb3676025b36
User can set a custom file editor instead of the built-in one.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13501
diff
changeset
|
711 </hints> |
bb3676025b36
User can set a custom file editor instead of the built-in one.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13501
diff
changeset
|
712 </connection> |
bb3676025b36
User can set a custom file editor instead of the built-in one.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13501
diff
changeset
|
713 <connection> |
14308
3b6177bd63b0
Removed chat and chat settings, instead made a separate menu entry in the community menu.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
14307
diff
changeset
|
714 <sender>useProxyServer</sender> |
13531
bb3676025b36
User can set a custom file editor instead of the built-in one.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13501
diff
changeset
|
715 <signal>toggled(bool)</signal> |
14308
3b6177bd63b0
Removed chat and chat settings, instead made a separate menu entry in the community menu.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
14307
diff
changeset
|
716 <receiver>label_3</receiver> |
13531
bb3676025b36
User can set a custom file editor instead of the built-in one.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13501
diff
changeset
|
717 <slot>setEnabled(bool)</slot> |
bb3676025b36
User can set a custom file editor instead of the built-in one.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13501
diff
changeset
|
718 <hints> |
bb3676025b36
User can set a custom file editor instead of the built-in one.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13501
diff
changeset
|
719 <hint type="sourcelabel"> |
14308
3b6177bd63b0
Removed chat and chat settings, instead made a separate menu entry in the community menu.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
14307
diff
changeset
|
720 <x>249</x> |
3b6177bd63b0
Removed chat and chat settings, instead made a separate menu entry in the community menu.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
14307
diff
changeset
|
721 <y>59</y> |
13531
bb3676025b36
User can set a custom file editor instead of the built-in one.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13501
diff
changeset
|
722 </hint> |
bb3676025b36
User can set a custom file editor instead of the built-in one.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13501
diff
changeset
|
723 <hint type="destinationlabel"> |
14308
3b6177bd63b0
Removed chat and chat settings, instead made a separate menu entry in the community menu.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
14307
diff
changeset
|
724 <x>59</x> |
3b6177bd63b0
Removed chat and chat settings, instead made a separate menu entry in the community menu.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
14307
diff
changeset
|
725 <y>91</y> |
3b6177bd63b0
Removed chat and chat settings, instead made a separate menu entry in the community menu.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
14307
diff
changeset
|
726 </hint> |
3b6177bd63b0
Removed chat and chat settings, instead made a separate menu entry in the community menu.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
14307
diff
changeset
|
727 </hints> |
3b6177bd63b0
Removed chat and chat settings, instead made a separate menu entry in the community menu.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
14307
diff
changeset
|
728 </connection> |
3b6177bd63b0
Removed chat and chat settings, instead made a separate menu entry in the community menu.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
14307
diff
changeset
|
729 <connection> |
3b6177bd63b0
Removed chat and chat settings, instead made a separate menu entry in the community menu.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
14307
diff
changeset
|
730 <sender>useProxyServer</sender> |
3b6177bd63b0
Removed chat and chat settings, instead made a separate menu entry in the community menu.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
14307
diff
changeset
|
731 <signal>toggled(bool)</signal> |
3b6177bd63b0
Removed chat and chat settings, instead made a separate menu entry in the community menu.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
14307
diff
changeset
|
732 <receiver>label_5</receiver> |
3b6177bd63b0
Removed chat and chat settings, instead made a separate menu entry in the community menu.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
14307
diff
changeset
|
733 <slot>setEnabled(bool)</slot> |
3b6177bd63b0
Removed chat and chat settings, instead made a separate menu entry in the community menu.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
14307
diff
changeset
|
734 <hints> |
3b6177bd63b0
Removed chat and chat settings, instead made a separate menu entry in the community menu.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
14307
diff
changeset
|
735 <hint type="sourcelabel"> |
3b6177bd63b0
Removed chat and chat settings, instead made a separate menu entry in the community menu.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
14307
diff
changeset
|
736 <x>249</x> |
3b6177bd63b0
Removed chat and chat settings, instead made a separate menu entry in the community menu.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
14307
diff
changeset
|
737 <y>59</y> |
3b6177bd63b0
Removed chat and chat settings, instead made a separate menu entry in the community menu.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
14307
diff
changeset
|
738 </hint> |
3b6177bd63b0
Removed chat and chat settings, instead made a separate menu entry in the community menu.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
14307
diff
changeset
|
739 <hint type="destinationlabel"> |
3b6177bd63b0
Removed chat and chat settings, instead made a separate menu entry in the community menu.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
14307
diff
changeset
|
740 <x>44</x> |
3b6177bd63b0
Removed chat and chat settings, instead made a separate menu entry in the community menu.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
14307
diff
changeset
|
741 <y>152</y> |
13531
bb3676025b36
User can set a custom file editor instead of the built-in one.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13501
diff
changeset
|
742 </hint> |
bb3676025b36
User can set a custom file editor instead of the built-in one.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13501
diff
changeset
|
743 </hints> |
bb3676025b36
User can set a custom file editor instead of the built-in one.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13501
diff
changeset
|
744 </connection> |
13606
ac9ef5a29460
Added proxy network settings tab and translators file.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13538
diff
changeset
|
745 <connection> |
ac9ef5a29460
Added proxy network settings tab and translators file.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13538
diff
changeset
|
746 <sender>useProxyServer</sender> |
ac9ef5a29460
Added proxy network settings tab and translators file.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13538
diff
changeset
|
747 <signal>toggled(bool)</signal> |
ac9ef5a29460
Added proxy network settings tab and translators file.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13538
diff
changeset
|
748 <receiver>proxyType</receiver> |
ac9ef5a29460
Added proxy network settings tab and translators file.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13538
diff
changeset
|
749 <slot>setEnabled(bool)</slot> |
ac9ef5a29460
Added proxy network settings tab and translators file.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13538
diff
changeset
|
750 <hints> |
ac9ef5a29460
Added proxy network settings tab and translators file.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13538
diff
changeset
|
751 <hint type="sourcelabel"> |
ac9ef5a29460
Added proxy network settings tab and translators file.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13538
diff
changeset
|
752 <x>249</x> |
ac9ef5a29460
Added proxy network settings tab and translators file.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13538
diff
changeset
|
753 <y>59</y> |
ac9ef5a29460
Added proxy network settings tab and translators file.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13538
diff
changeset
|
754 </hint> |
ac9ef5a29460
Added proxy network settings tab and translators file.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13538
diff
changeset
|
755 <hint type="destinationlabel"> |
ac9ef5a29460
Added proxy network settings tab and translators file.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13538
diff
changeset
|
756 <x>291</x> |
ac9ef5a29460
Added proxy network settings tab and translators file.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13538
diff
changeset
|
757 <y>91</y> |
ac9ef5a29460
Added proxy network settings tab and translators file.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13538
diff
changeset
|
758 </hint> |
ac9ef5a29460
Added proxy network settings tab and translators file.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13538
diff
changeset
|
759 </hints> |
ac9ef5a29460
Added proxy network settings tab and translators file.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13538
diff
changeset
|
760 </connection> |
ac9ef5a29460
Added proxy network settings tab and translators file.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13538
diff
changeset
|
761 <connection> |
ac9ef5a29460
Added proxy network settings tab and translators file.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13538
diff
changeset
|
762 <sender>useProxyServer</sender> |
ac9ef5a29460
Added proxy network settings tab and translators file.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13538
diff
changeset
|
763 <signal>toggled(bool)</signal> |
ac9ef5a29460
Added proxy network settings tab and translators file.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13538
diff
changeset
|
764 <receiver>proxyHostName</receiver> |
ac9ef5a29460
Added proxy network settings tab and translators file.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13538
diff
changeset
|
765 <slot>setEnabled(bool)</slot> |
ac9ef5a29460
Added proxy network settings tab and translators file.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13538
diff
changeset
|
766 <hints> |
ac9ef5a29460
Added proxy network settings tab and translators file.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13538
diff
changeset
|
767 <hint type="sourcelabel"> |
ac9ef5a29460
Added proxy network settings tab and translators file.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13538
diff
changeset
|
768 <x>249</x> |
ac9ef5a29460
Added proxy network settings tab and translators file.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13538
diff
changeset
|
769 <y>59</y> |
ac9ef5a29460
Added proxy network settings tab and translators file.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13538
diff
changeset
|
770 </hint> |
ac9ef5a29460
Added proxy network settings tab and translators file.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13538
diff
changeset
|
771 <hint type="destinationlabel"> |
ac9ef5a29460
Added proxy network settings tab and translators file.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13538
diff
changeset
|
772 <x>291</x> |
ac9ef5a29460
Added proxy network settings tab and translators file.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13538
diff
changeset
|
773 <y>124</y> |
ac9ef5a29460
Added proxy network settings tab and translators file.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13538
diff
changeset
|
774 </hint> |
ac9ef5a29460
Added proxy network settings tab and translators file.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13538
diff
changeset
|
775 </hints> |
ac9ef5a29460
Added proxy network settings tab and translators file.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13538
diff
changeset
|
776 </connection> |
ac9ef5a29460
Added proxy network settings tab and translators file.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13538
diff
changeset
|
777 <connection> |
ac9ef5a29460
Added proxy network settings tab and translators file.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13538
diff
changeset
|
778 <sender>useProxyServer</sender> |
ac9ef5a29460
Added proxy network settings tab and translators file.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13538
diff
changeset
|
779 <signal>toggled(bool)</signal> |
ac9ef5a29460
Added proxy network settings tab and translators file.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13538
diff
changeset
|
780 <receiver>proxyPort</receiver> |
ac9ef5a29460
Added proxy network settings tab and translators file.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13538
diff
changeset
|
781 <slot>setEnabled(bool)</slot> |
ac9ef5a29460
Added proxy network settings tab and translators file.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13538
diff
changeset
|
782 <hints> |
ac9ef5a29460
Added proxy network settings tab and translators file.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13538
diff
changeset
|
783 <hint type="sourcelabel"> |
ac9ef5a29460
Added proxy network settings tab and translators file.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13538
diff
changeset
|
784 <x>249</x> |
ac9ef5a29460
Added proxy network settings tab and translators file.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13538
diff
changeset
|
785 <y>59</y> |
ac9ef5a29460
Added proxy network settings tab and translators file.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13538
diff
changeset
|
786 </hint> |
ac9ef5a29460
Added proxy network settings tab and translators file.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13538
diff
changeset
|
787 <hint type="destinationlabel"> |
13659
d98c6ef06dff
included some editor setting into the setting dialog
ttl <ttl@justmail.de>
parents:
13609
diff
changeset
|
788 <x>364</x> |
d98c6ef06dff
included some editor setting into the setting dialog
ttl <ttl@justmail.de>
parents:
13609
diff
changeset
|
789 <y>154</y> |
13606
ac9ef5a29460
Added proxy network settings tab and translators file.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13538
diff
changeset
|
790 </hint> |
ac9ef5a29460
Added proxy network settings tab and translators file.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13538
diff
changeset
|
791 </hints> |
ac9ef5a29460
Added proxy network settings tab and translators file.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13538
diff
changeset
|
792 </connection> |
ac9ef5a29460
Added proxy network settings tab and translators file.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13538
diff
changeset
|
793 <connection> |
14308
3b6177bd63b0
Removed chat and chat settings, instead made a separate menu entry in the community menu.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
14307
diff
changeset
|
794 <sender>useCustomFileEditor</sender> |
3b6177bd63b0
Removed chat and chat settings, instead made a separate menu entry in the community menu.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
14307
diff
changeset
|
795 <signal>toggled(bool)</signal> |
3b6177bd63b0
Removed chat and chat settings, instead made a separate menu entry in the community menu.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
14307
diff
changeset
|
796 <receiver>customFileEditor</receiver> |
3b6177bd63b0
Removed chat and chat settings, instead made a separate menu entry in the community menu.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
14307
diff
changeset
|
797 <slot>setEnabled(bool)</slot> |
3b6177bd63b0
Removed chat and chat settings, instead made a separate menu entry in the community menu.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
14307
diff
changeset
|
798 <hints> |
3b6177bd63b0
Removed chat and chat settings, instead made a separate menu entry in the community menu.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
14307
diff
changeset
|
799 <hint type="sourcelabel"> |
3b6177bd63b0
Removed chat and chat settings, instead made a separate menu entry in the community menu.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
14307
diff
changeset
|
800 <x>111</x> |
3b6177bd63b0
Removed chat and chat settings, instead made a separate menu entry in the community menu.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
14307
diff
changeset
|
801 <y>62</y> |
3b6177bd63b0
Removed chat and chat settings, instead made a separate menu entry in the community menu.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
14307
diff
changeset
|
802 </hint> |
3b6177bd63b0
Removed chat and chat settings, instead made a separate menu entry in the community menu.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
14307
diff
changeset
|
803 <hint type="destinationlabel"> |
3b6177bd63b0
Removed chat and chat settings, instead made a separate menu entry in the community menu.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
14307
diff
changeset
|
804 <x>343</x> |
3b6177bd63b0
Removed chat and chat settings, instead made a separate menu entry in the community menu.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
14307
diff
changeset
|
805 <y>63</y> |
3b6177bd63b0
Removed chat and chat settings, instead made a separate menu entry in the community menu.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
14307
diff
changeset
|
806 </hint> |
3b6177bd63b0
Removed chat and chat settings, instead made a separate menu entry in the community menu.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
14307
diff
changeset
|
807 </hints> |
3b6177bd63b0
Removed chat and chat settings, instead made a separate menu entry in the community menu.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
14307
diff
changeset
|
808 </connection> |
3b6177bd63b0
Removed chat and chat settings, instead made a separate menu entry in the community menu.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
14307
diff
changeset
|
809 <connection> |
13606
ac9ef5a29460
Added proxy network settings tab and translators file.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13538
diff
changeset
|
810 <sender>useProxyServer</sender> |
ac9ef5a29460
Added proxy network settings tab and translators file.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13538
diff
changeset
|
811 <signal>toggled(bool)</signal> |
14308
3b6177bd63b0
Removed chat and chat settings, instead made a separate menu entry in the community menu.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
14307
diff
changeset
|
812 <receiver>label_7</receiver> |
13606
ac9ef5a29460
Added proxy network settings tab and translators file.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13538
diff
changeset
|
813 <slot>setEnabled(bool)</slot> |
ac9ef5a29460
Added proxy network settings tab and translators file.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13538
diff
changeset
|
814 <hints> |
ac9ef5a29460
Added proxy network settings tab and translators file.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13538
diff
changeset
|
815 <hint type="sourcelabel"> |
ac9ef5a29460
Added proxy network settings tab and translators file.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13538
diff
changeset
|
816 <x>249</x> |
ac9ef5a29460
Added proxy network settings tab and translators file.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13538
diff
changeset
|
817 <y>59</y> |
ac9ef5a29460
Added proxy network settings tab and translators file.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13538
diff
changeset
|
818 </hint> |
ac9ef5a29460
Added proxy network settings tab and translators file.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13538
diff
changeset
|
819 <hint type="destinationlabel"> |
14308
3b6177bd63b0
Removed chat and chat settings, instead made a separate menu entry in the community menu.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
14307
diff
changeset
|
820 <x>67</x> |
3b6177bd63b0
Removed chat and chat settings, instead made a separate menu entry in the community menu.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
14307
diff
changeset
|
821 <y>212</y> |
13606
ac9ef5a29460
Added proxy network settings tab and translators file.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13538
diff
changeset
|
822 </hint> |
ac9ef5a29460
Added proxy network settings tab and translators file.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13538
diff
changeset
|
823 </hints> |
ac9ef5a29460
Added proxy network settings tab and translators file.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13538
diff
changeset
|
824 </connection> |
ac9ef5a29460
Added proxy network settings tab and translators file.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13538
diff
changeset
|
825 <connection> |
13609
b355901aade4
Added username and password field to proxy settings.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13606
diff
changeset
|
826 <sender>useProxyServer</sender> |
b355901aade4
Added username and password field to proxy settings.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13606
diff
changeset
|
827 <signal>toggled(bool)</signal> |
b355901aade4
Added username and password field to proxy settings.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13606
diff
changeset
|
828 <receiver>proxyUserName</receiver> |
b355901aade4
Added username and password field to proxy settings.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13606
diff
changeset
|
829 <slot>setEnabled(bool)</slot> |
b355901aade4
Added username and password field to proxy settings.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13606
diff
changeset
|
830 <hints> |
b355901aade4
Added username and password field to proxy settings.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13606
diff
changeset
|
831 <hint type="sourcelabel"> |
b355901aade4
Added username and password field to proxy settings.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13606
diff
changeset
|
832 <x>249</x> |
b355901aade4
Added username and password field to proxy settings.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13606
diff
changeset
|
833 <y>59</y> |
b355901aade4
Added username and password field to proxy settings.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13606
diff
changeset
|
834 </hint> |
b355901aade4
Added username and password field to proxy settings.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13606
diff
changeset
|
835 <hint type="destinationlabel"> |
13659
d98c6ef06dff
included some editor setting into the setting dialog
ttl <ttl@justmail.de>
parents:
13609
diff
changeset
|
836 <x>364</x> |
d98c6ef06dff
included some editor setting into the setting dialog
ttl <ttl@justmail.de>
parents:
13609
diff
changeset
|
837 <y>184</y> |
13609
b355901aade4
Added username and password field to proxy settings.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13606
diff
changeset
|
838 </hint> |
b355901aade4
Added username and password field to proxy settings.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13606
diff
changeset
|
839 </hints> |
b355901aade4
Added username and password field to proxy settings.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13606
diff
changeset
|
840 </connection> |
b355901aade4
Added username and password field to proxy settings.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13606
diff
changeset
|
841 <connection> |
b355901aade4
Added username and password field to proxy settings.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13606
diff
changeset
|
842 <sender>useProxyServer</sender> |
b355901aade4
Added username and password field to proxy settings.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13606
diff
changeset
|
843 <signal>toggled(bool)</signal> |
b355901aade4
Added username and password field to proxy settings.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13606
diff
changeset
|
844 <receiver>proxyPassword</receiver> |
b355901aade4
Added username and password field to proxy settings.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13606
diff
changeset
|
845 <slot>setEnabled(bool)</slot> |
b355901aade4
Added username and password field to proxy settings.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13606
diff
changeset
|
846 <hints> |
b355901aade4
Added username and password field to proxy settings.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13606
diff
changeset
|
847 <hint type="sourcelabel"> |
b355901aade4
Added username and password field to proxy settings.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13606
diff
changeset
|
848 <x>249</x> |
b355901aade4
Added username and password field to proxy settings.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13606
diff
changeset
|
849 <y>59</y> |
b355901aade4
Added username and password field to proxy settings.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13606
diff
changeset
|
850 </hint> |
b355901aade4
Added username and password field to proxy settings.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13606
diff
changeset
|
851 <hint type="destinationlabel"> |
13659
d98c6ef06dff
included some editor setting into the setting dialog
ttl <ttl@justmail.de>
parents:
13609
diff
changeset
|
852 <x>364</x> |
d98c6ef06dff
included some editor setting into the setting dialog
ttl <ttl@justmail.de>
parents:
13609
diff
changeset
|
853 <y>214</y> |
13609
b355901aade4
Added username and password field to proxy settings.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13606
diff
changeset
|
854 </hint> |
b355901aade4
Added username and password field to proxy settings.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13606
diff
changeset
|
855 </hints> |
b355901aade4
Added username and password field to proxy settings.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13606
diff
changeset
|
856 </connection> |
b355901aade4
Added username and password field to proxy settings.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13606
diff
changeset
|
857 <connection> |
b355901aade4
Added username and password field to proxy settings.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13606
diff
changeset
|
858 <sender>useProxyServer</sender> |
b355901aade4
Added username and password field to proxy settings.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13606
diff
changeset
|
859 <signal>toggled(bool)</signal> |
b355901aade4
Added username and password field to proxy settings.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13606
diff
changeset
|
860 <receiver>label_6</receiver> |
b355901aade4
Added username and password field to proxy settings.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13606
diff
changeset
|
861 <slot>setEnabled(bool)</slot> |
b355901aade4
Added username and password field to proxy settings.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13606
diff
changeset
|
862 <hints> |
b355901aade4
Added username and password field to proxy settings.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13606
diff
changeset
|
863 <hint type="sourcelabel"> |
b355901aade4
Added username and password field to proxy settings.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13606
diff
changeset
|
864 <x>249</x> |
b355901aade4
Added username and password field to proxy settings.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13606
diff
changeset
|
865 <y>59</y> |
b355901aade4
Added username and password field to proxy settings.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13606
diff
changeset
|
866 </hint> |
b355901aade4
Added username and password field to proxy settings.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13606
diff
changeset
|
867 <hint type="destinationlabel"> |
13659
d98c6ef06dff
included some editor setting into the setting dialog
ttl <ttl@justmail.de>
parents:
13609
diff
changeset
|
868 <x>68</x> |
d98c6ef06dff
included some editor setting into the setting dialog
ttl <ttl@justmail.de>
parents:
13609
diff
changeset
|
869 <y>182</y> |
13609
b355901aade4
Added username and password field to proxy settings.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13606
diff
changeset
|
870 </hint> |
b355901aade4
Added username and password field to proxy settings.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13606
diff
changeset
|
871 </hints> |
b355901aade4
Added username and password field to proxy settings.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13606
diff
changeset
|
872 </connection> |
b355901aade4
Added username and password field to proxy settings.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13606
diff
changeset
|
873 <connection> |
15274
c5d09a57ceb2
provide buttons for the settings dialog (bug #36981)
Torsten <ttl@justmail.de>
parents:
15196
diff
changeset
|
874 <sender>buttonBox</sender> |
c5d09a57ceb2
provide buttons for the settings dialog (bug #36981)
Torsten <ttl@justmail.de>
parents:
15196
diff
changeset
|
875 <signal>accepted()</signal> |
c5d09a57ceb2
provide buttons for the settings dialog (bug #36981)
Torsten <ttl@justmail.de>
parents:
15196
diff
changeset
|
876 <receiver>settings_dialog</receiver> |
c5d09a57ceb2
provide buttons for the settings dialog (bug #36981)
Torsten <ttl@justmail.de>
parents:
15196
diff
changeset
|
877 <slot>accept()</slot> |
c5d09a57ceb2
provide buttons for the settings dialog (bug #36981)
Torsten <ttl@justmail.de>
parents:
15196
diff
changeset
|
878 <hints> |
c5d09a57ceb2
provide buttons for the settings dialog (bug #36981)
Torsten <ttl@justmail.de>
parents:
15196
diff
changeset
|
879 <hint type="sourcelabel"> |
c5d09a57ceb2
provide buttons for the settings dialog (bug #36981)
Torsten <ttl@justmail.de>
parents:
15196
diff
changeset
|
880 <x>299</x> |
c5d09a57ceb2
provide buttons for the settings dialog (bug #36981)
Torsten <ttl@justmail.de>
parents:
15196
diff
changeset
|
881 <y>366</y> |
c5d09a57ceb2
provide buttons for the settings dialog (bug #36981)
Torsten <ttl@justmail.de>
parents:
15196
diff
changeset
|
882 </hint> |
c5d09a57ceb2
provide buttons for the settings dialog (bug #36981)
Torsten <ttl@justmail.de>
parents:
15196
diff
changeset
|
883 <hint type="destinationlabel"> |
c5d09a57ceb2
provide buttons for the settings dialog (bug #36981)
Torsten <ttl@justmail.de>
parents:
15196
diff
changeset
|
884 <x>299</x> |
c5d09a57ceb2
provide buttons for the settings dialog (bug #36981)
Torsten <ttl@justmail.de>
parents:
15196
diff
changeset
|
885 <y>199</y> |
c5d09a57ceb2
provide buttons for the settings dialog (bug #36981)
Torsten <ttl@justmail.de>
parents:
15196
diff
changeset
|
886 </hint> |
c5d09a57ceb2
provide buttons for the settings dialog (bug #36981)
Torsten <ttl@justmail.de>
parents:
15196
diff
changeset
|
887 </hints> |
c5d09a57ceb2
provide buttons for the settings dialog (bug #36981)
Torsten <ttl@justmail.de>
parents:
15196
diff
changeset
|
888 </connection> |
c5d09a57ceb2
provide buttons for the settings dialog (bug #36981)
Torsten <ttl@justmail.de>
parents:
15196
diff
changeset
|
889 <connection> |
c5d09a57ceb2
provide buttons for the settings dialog (bug #36981)
Torsten <ttl@justmail.de>
parents:
15196
diff
changeset
|
890 <sender>buttonBox</sender> |
c5d09a57ceb2
provide buttons for the settings dialog (bug #36981)
Torsten <ttl@justmail.de>
parents:
15196
diff
changeset
|
891 <signal>rejected()</signal> |
c5d09a57ceb2
provide buttons for the settings dialog (bug #36981)
Torsten <ttl@justmail.de>
parents:
15196
diff
changeset
|
892 <receiver>settings_dialog</receiver> |
c5d09a57ceb2
provide buttons for the settings dialog (bug #36981)
Torsten <ttl@justmail.de>
parents:
15196
diff
changeset
|
893 <slot>reject()</slot> |
c5d09a57ceb2
provide buttons for the settings dialog (bug #36981)
Torsten <ttl@justmail.de>
parents:
15196
diff
changeset
|
894 <hints> |
c5d09a57ceb2
provide buttons for the settings dialog (bug #36981)
Torsten <ttl@justmail.de>
parents:
15196
diff
changeset
|
895 <hint type="sourcelabel"> |
c5d09a57ceb2
provide buttons for the settings dialog (bug #36981)
Torsten <ttl@justmail.de>
parents:
15196
diff
changeset
|
896 <x>299</x> |
c5d09a57ceb2
provide buttons for the settings dialog (bug #36981)
Torsten <ttl@justmail.de>
parents:
15196
diff
changeset
|
897 <y>366</y> |
c5d09a57ceb2
provide buttons for the settings dialog (bug #36981)
Torsten <ttl@justmail.de>
parents:
15196
diff
changeset
|
898 </hint> |
c5d09a57ceb2
provide buttons for the settings dialog (bug #36981)
Torsten <ttl@justmail.de>
parents:
15196
diff
changeset
|
899 <hint type="destinationlabel"> |
c5d09a57ceb2
provide buttons for the settings dialog (bug #36981)
Torsten <ttl@justmail.de>
parents:
15196
diff
changeset
|
900 <x>299</x> |
c5d09a57ceb2
provide buttons for the settings dialog (bug #36981)
Torsten <ttl@justmail.de>
parents:
15196
diff
changeset
|
901 <y>199</y> |
c5d09a57ceb2
provide buttons for the settings dialog (bug #36981)
Torsten <ttl@justmail.de>
parents:
15196
diff
changeset
|
902 </hint> |
c5d09a57ceb2
provide buttons for the settings dialog (bug #36981)
Torsten <ttl@justmail.de>
parents:
15196
diff
changeset
|
903 </hints> |
c5d09a57ceb2
provide buttons for the settings dialog (bug #36981)
Torsten <ttl@justmail.de>
parents:
15196
diff
changeset
|
904 </connection> |
16407
4d438dffbfac
gui: call external editor when opening a file and custom editor is selected
Torsten <ttl@justmail.de>
parents:
16402
diff
changeset
|
905 <connection> |
4d438dffbfac
gui: call external editor when opening a file and custom editor is selected
Torsten <ttl@justmail.de>
parents:
16402
diff
changeset
|
906 <sender>useCustomFileEditor</sender> |
4d438dffbfac
gui: call external editor when opening a file and custom editor is selected
Torsten <ttl@justmail.de>
parents:
16402
diff
changeset
|
907 <signal>toggled(bool)</signal> |
4d438dffbfac
gui: call external editor when opening a file and custom editor is selected
Torsten <ttl@justmail.de>
parents:
16402
diff
changeset
|
908 <receiver>customEditorLabel</receiver> |
4d438dffbfac
gui: call external editor when opening a file and custom editor is selected
Torsten <ttl@justmail.de>
parents:
16402
diff
changeset
|
909 <slot>setEnabled(bool)</slot> |
4d438dffbfac
gui: call external editor when opening a file and custom editor is selected
Torsten <ttl@justmail.de>
parents:
16402
diff
changeset
|
910 <hints> |
4d438dffbfac
gui: call external editor when opening a file and custom editor is selected
Torsten <ttl@justmail.de>
parents:
16402
diff
changeset
|
911 <hint type="sourcelabel"> |
4d438dffbfac
gui: call external editor when opening a file and custom editor is selected
Torsten <ttl@justmail.de>
parents:
16402
diff
changeset
|
912 <x>349</x> |
4d438dffbfac
gui: call external editor when opening a file and custom editor is selected
Torsten <ttl@justmail.de>
parents:
16402
diff
changeset
|
913 <y>383</y> |
4d438dffbfac
gui: call external editor when opening a file and custom editor is selected
Torsten <ttl@justmail.de>
parents:
16402
diff
changeset
|
914 </hint> |
4d438dffbfac
gui: call external editor when opening a file and custom editor is selected
Torsten <ttl@justmail.de>
parents:
16402
diff
changeset
|
915 <hint type="destinationlabel"> |
4d438dffbfac
gui: call external editor when opening a file and custom editor is selected
Torsten <ttl@justmail.de>
parents:
16402
diff
changeset
|
916 <x>111</x> |
4d438dffbfac
gui: call external editor when opening a file and custom editor is selected
Torsten <ttl@justmail.de>
parents:
16402
diff
changeset
|
917 <y>413</y> |
4d438dffbfac
gui: call external editor when opening a file and custom editor is selected
Torsten <ttl@justmail.de>
parents:
16402
diff
changeset
|
918 </hint> |
4d438dffbfac
gui: call external editor when opening a file and custom editor is selected
Torsten <ttl@justmail.de>
parents:
16402
diff
changeset
|
919 </hints> |
4d438dffbfac
gui: call external editor when opening a file and custom editor is selected
Torsten <ttl@justmail.de>
parents:
16402
diff
changeset
|
920 </connection> |
13531
bb3676025b36
User can set a custom file editor instead of the built-in one.
Jacob Dawid <jacob.dawid@googlemail.com>
parents:
13501
diff
changeset
|
921 </connections> |
13501 | 922 </ui> |