octave-jordi: libgui/src/settings-dialog.ui annotate

annotate libgui/src/settings-dialog.ui @ 18280:4dadae02bd4c gui-release

max. width of editor tabs limited and configurable * settings-dialog.ui: new spin box for max. tab width * settings-dialog.cc (constructor): set spin box value from settings file; (write_changed_settings): write spin box value into settings file * file-editor.cc (construct): set right text alignment in editor tabs; (notice_settings): set tab's style sheet depending on tab width

author	Torsten <ttl@justmail.de>
date	Tue, 14 Jan 2014 22:51:43 +0100
parents	f227bb47314f
children	01646e48a650

rev	line source
13501 86d6c3b90ad7 Added new gui files. Jacob Dawid <jacob.dawid@googlemail.com> parents: diff changeset	1 <?xml version="1.0" encoding="UTF-8"?>
86d6c3b90ad7 Added new gui files. Jacob Dawid <jacob.dawid@googlemail.com> parents: diff changeset	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 86d6c3b90ad7 Added new gui files. Jacob Dawid <jacob.dawid@googlemail.com> parents: diff changeset	5 <property name="windowModality">
86d6c3b90ad7 Added new gui files. Jacob Dawid <jacob.dawid@googlemail.com> parents: diff changeset	6 <enum>Qt::ApplicationModal</enum>
86d6c3b90ad7 Added new gui files. Jacob Dawid <jacob.dawid@googlemail.com> parents: diff changeset	7 </property>
86d6c3b90ad7 Added new gui files. Jacob Dawid <jacob.dawid@googlemail.com> parents: diff changeset	8 <property name="geometry">
86d6c3b90ad7 Added new gui files. Jacob Dawid <jacob.dawid@googlemail.com> parents: diff changeset	9 <rect>
86d6c3b90ad7 Added new gui files. Jacob Dawid <jacob.dawid@googlemail.com> parents: diff changeset	10 <x>0</x>
86d6c3b90ad7 Added new gui files. Jacob Dawid <jacob.dawid@googlemail.com> parents: diff changeset	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 86d6c3b90ad7 Added new gui files. Jacob Dawid <jacob.dawid@googlemail.com> parents: diff changeset	14 </rect>
86d6c3b90ad7 Added new gui files. Jacob Dawid <jacob.dawid@googlemail.com> parents: diff changeset	15 </property>
86d6c3b90ad7 Added new gui files. Jacob Dawid <jacob.dawid@googlemail.com> parents: diff changeset	16 <property name="minimumSize">
86d6c3b90ad7 Added new gui files. Jacob Dawid <jacob.dawid@googlemail.com> parents: diff changeset	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 86d6c3b90ad7 Added new gui files. Jacob Dawid <jacob.dawid@googlemail.com> parents: diff changeset	20 </size>
86d6c3b90ad7 Added new gui files. Jacob Dawid <jacob.dawid@googlemail.com> parents: diff changeset	21 </property>
86d6c3b90ad7 Added new gui files. Jacob Dawid <jacob.dawid@googlemail.com> parents: diff changeset	22 <property name="maximumSize">
86d6c3b90ad7 Added new gui files. Jacob Dawid <jacob.dawid@googlemail.com> parents: diff changeset	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 86d6c3b90ad7 Added new gui files. Jacob Dawid <jacob.dawid@googlemail.com> parents: diff changeset	26 </size>
86d6c3b90ad7 Added new gui files. Jacob Dawid <jacob.dawid@googlemail.com> parents: diff changeset	27 </property>
86d6c3b90ad7 Added new gui files. Jacob Dawid <jacob.dawid@googlemail.com> parents: diff changeset	28 <property name="windowTitle">
86d6c3b90ad7 Added new gui files. Jacob Dawid <jacob.dawid@googlemail.com> parents: diff changeset	29 <string>Settings</string>
86d6c3b90ad7 Added new gui files. Jacob Dawid <jacob.dawid@googlemail.com> parents: diff changeset	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 86d6c3b90ad7 Added new gui files. Jacob Dawid <jacob.dawid@googlemail.com> parents: diff changeset	33 <widget class="QTabWidget" name="tabWidget">
86d6c3b90ad7 Added new gui files. Jacob Dawid <jacob.dawid@googlemail.com> parents: diff changeset	34 <property name="currentIndex">
18280 4dadae02bd4c max. width of editor tabs limited and configurable Torsten <ttl@justmail.de> parents: 18268 diff changeset	35 <number>1</number>
13501 86d6c3b90ad7 Added new gui files. Jacob Dawid <jacob.dawid@googlemail.com> parents: diff changeset	36 </property>
17676 c060ad097056 add menu entries to the editor for directly accessing the editor's settings Torsten <ttl@justmail.de> parents: 16865 diff changeset	37 <widget class="QWidget" name="tab_general">
15787 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>
18179 b3838cedfe04 redesign of dock widgets title bar with configurable colors Torsten <ttl@justmail.de> parents: 18155 diff changeset	77 <item row="2" column="1">
16525 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>
18179 b3838cedfe04 redesign of dock widgets title bar with configurable colors Torsten <ttl@justmail.de> parents: 18155 diff changeset	110 <item row="1" column="1">
16525 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>
18179 b3838cedfe04 redesign of dock widgets title bar with configurable colors Torsten <ttl@justmail.de> parents: 18155 diff changeset	134 <item row="3" column="1">
16525 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">
16865 a86327a7d9fb fix of typos in text strings of the gui Torsten <ttl@justmail.de> parents: 16822 diff changeset	156 <string>Graphic icons</string>
16525 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>
18179 b3838cedfe04 redesign of dock widgets title bar with configurable colors Torsten <ttl@justmail.de> parents: 18155 diff changeset	175 <item row="4" column="0">
b3838cedfe04 redesign of dock widgets title bar with configurable colors Torsten <ttl@justmail.de> parents: 18155 diff changeset	176 <widget class="QLabel" name="label_15">
b3838cedfe04 redesign of dock widgets title bar with configurable colors Torsten <ttl@justmail.de> parents: 18155 diff changeset	177 <property name="text">
b3838cedfe04 redesign of dock widgets title bar with configurable colors Torsten <ttl@justmail.de> parents: 18155 diff changeset	178 <string>Dock widget title bar</string>
b3838cedfe04 redesign of dock widgets title bar with configurable colors Torsten <ttl@justmail.de> parents: 18155 diff changeset	179 </property>
b3838cedfe04 redesign of dock widgets title bar with configurable colors Torsten <ttl@justmail.de> parents: 18155 diff changeset	180 </widget>
b3838cedfe04 redesign of dock widgets title bar with configurable colors Torsten <ttl@justmail.de> parents: 18155 diff changeset	181 </item>
b3838cedfe04 redesign of dock widgets title bar with configurable colors Torsten <ttl@justmail.de> parents: 18155 diff changeset	182 <item row="4" column="1">
b3838cedfe04 redesign of dock widgets title bar with configurable colors Torsten <ttl@justmail.de> parents: 18155 diff changeset	183 <layout class="QHBoxLayout" name="horizontalLayout_4">
b3838cedfe04 redesign of dock widgets title bar with configurable colors Torsten <ttl@justmail.de> parents: 18155 diff changeset	184 <item>
b3838cedfe04 redesign of dock widgets title bar with configurable colors Torsten <ttl@justmail.de> parents: 18155 diff changeset	185 <widget class="QCheckBox" name="cb_widget_custom_style">
b3838cedfe04 redesign of dock widgets title bar with configurable colors Torsten <ttl@justmail.de> parents: 18155 diff changeset	186 <property name="text">
b3838cedfe04 redesign of dock widgets title bar with configurable colors Torsten <ttl@justmail.de> parents: 18155 diff changeset	187 <string>Custom style</string>
b3838cedfe04 redesign of dock widgets title bar with configurable colors Torsten <ttl@justmail.de> parents: 18155 diff changeset	188 </property>
b3838cedfe04 redesign of dock widgets title bar with configurable colors Torsten <ttl@justmail.de> parents: 18155 diff changeset	189 </widget>
b3838cedfe04 redesign of dock widgets title bar with configurable colors Torsten <ttl@justmail.de> parents: 18155 diff changeset	190 </item>
b3838cedfe04 redesign of dock widgets title bar with configurable colors Torsten <ttl@justmail.de> parents: 18155 diff changeset	191 <item>
b3838cedfe04 redesign of dock widgets title bar with configurable colors Torsten <ttl@justmail.de> parents: 18155 diff changeset	192 <spacer name="horizontalSpacer_22">
b3838cedfe04 redesign of dock widgets title bar with configurable colors Torsten <ttl@justmail.de> parents: 18155 diff changeset	193 <property name="orientation">
b3838cedfe04 redesign of dock widgets title bar with configurable colors Torsten <ttl@justmail.de> parents: 18155 diff changeset	194 <enum>Qt::Horizontal</enum>
b3838cedfe04 redesign of dock widgets title bar with configurable colors Torsten <ttl@justmail.de> parents: 18155 diff changeset	195 </property>
b3838cedfe04 redesign of dock widgets title bar with configurable colors Torsten <ttl@justmail.de> parents: 18155 diff changeset	196 <property name="sizeType">
b3838cedfe04 redesign of dock widgets title bar with configurable colors Torsten <ttl@justmail.de> parents: 18155 diff changeset	197 <enum>QSizePolicy::Fixed</enum>
b3838cedfe04 redesign of dock widgets title bar with configurable colors Torsten <ttl@justmail.de> parents: 18155 diff changeset	198 </property>
b3838cedfe04 redesign of dock widgets title bar with configurable colors Torsten <ttl@justmail.de> parents: 18155 diff changeset	199 <property name="sizeHint" stdset="0">
b3838cedfe04 redesign of dock widgets title bar with configurable colors Torsten <ttl@justmail.de> parents: 18155 diff changeset	200 <size>
b3838cedfe04 redesign of dock widgets title bar with configurable colors Torsten <ttl@justmail.de> parents: 18155 diff changeset	201 <width>40</width>
b3838cedfe04 redesign of dock widgets title bar with configurable colors Torsten <ttl@justmail.de> parents: 18155 diff changeset	202 <height>20</height>
b3838cedfe04 redesign of dock widgets title bar with configurable colors Torsten <ttl@justmail.de> parents: 18155 diff changeset	203 </size>
b3838cedfe04 redesign of dock widgets title bar with configurable colors Torsten <ttl@justmail.de> parents: 18155 diff changeset	204 </property>
b3838cedfe04 redesign of dock widgets title bar with configurable colors Torsten <ttl@justmail.de> parents: 18155 diff changeset	205 </spacer>
b3838cedfe04 redesign of dock widgets title bar with configurable colors Torsten <ttl@justmail.de> parents: 18155 diff changeset	206 </item>
b3838cedfe04 redesign of dock widgets title bar with configurable colors Torsten <ttl@justmail.de> parents: 18155 diff changeset	207 <item>
b3838cedfe04 redesign of dock widgets title bar with configurable colors Torsten <ttl@justmail.de> parents: 18155 diff changeset	208 <widget class="QLabel" name="label_bgtitle">
b3838cedfe04 redesign of dock widgets title bar with configurable colors Torsten <ttl@justmail.de> parents: 18155 diff changeset	209 <property name="enabled">
b3838cedfe04 redesign of dock widgets title bar with configurable colors Torsten <ttl@justmail.de> parents: 18155 diff changeset	210 <bool>false</bool>
b3838cedfe04 redesign of dock widgets title bar with configurable colors Torsten <ttl@justmail.de> parents: 18155 diff changeset	211 </property>
b3838cedfe04 redesign of dock widgets title bar with configurable colors Torsten <ttl@justmail.de> parents: 18155 diff changeset	212 <property name="text">
b3838cedfe04 redesign of dock widgets title bar with configurable colors Torsten <ttl@justmail.de> parents: 18155 diff changeset	213 <string>Background color</string>
b3838cedfe04 redesign of dock widgets title bar with configurable colors Torsten <ttl@justmail.de> parents: 18155 diff changeset	214 </property>
b3838cedfe04 redesign of dock widgets title bar with configurable colors Torsten <ttl@justmail.de> parents: 18155 diff changeset	215 </widget>
b3838cedfe04 redesign of dock widgets title bar with configurable colors Torsten <ttl@justmail.de> parents: 18155 diff changeset	216 </item>
b3838cedfe04 redesign of dock widgets title bar with configurable colors Torsten <ttl@justmail.de> parents: 18155 diff changeset	217 <item>
b3838cedfe04 redesign of dock widgets title bar with configurable colors Torsten <ttl@justmail.de> parents: 18155 diff changeset	218 <layout class="QHBoxLayout" name="layout_widget_bgtitle"/>
b3838cedfe04 redesign of dock widgets title bar with configurable colors Torsten <ttl@justmail.de> parents: 18155 diff changeset	219 </item>
b3838cedfe04 redesign of dock widgets title bar with configurable colors Torsten <ttl@justmail.de> parents: 18155 diff changeset	220 <item>
b3838cedfe04 redesign of dock widgets title bar with configurable colors Torsten <ttl@justmail.de> parents: 18155 diff changeset	221 <spacer name="horizontalSpacer_23">
b3838cedfe04 redesign of dock widgets title bar with configurable colors Torsten <ttl@justmail.de> parents: 18155 diff changeset	222 <property name="orientation">
b3838cedfe04 redesign of dock widgets title bar with configurable colors Torsten <ttl@justmail.de> parents: 18155 diff changeset	223 <enum>Qt::Horizontal</enum>
b3838cedfe04 redesign of dock widgets title bar with configurable colors Torsten <ttl@justmail.de> parents: 18155 diff changeset	224 </property>
b3838cedfe04 redesign of dock widgets title bar with configurable colors Torsten <ttl@justmail.de> parents: 18155 diff changeset	225 <property name="sizeType">
b3838cedfe04 redesign of dock widgets title bar with configurable colors Torsten <ttl@justmail.de> parents: 18155 diff changeset	226 <enum>QSizePolicy::Fixed</enum>
b3838cedfe04 redesign of dock widgets title bar with configurable colors Torsten <ttl@justmail.de> parents: 18155 diff changeset	227 </property>
b3838cedfe04 redesign of dock widgets title bar with configurable colors Torsten <ttl@justmail.de> parents: 18155 diff changeset	228 <property name="sizeHint" stdset="0">
b3838cedfe04 redesign of dock widgets title bar with configurable colors Torsten <ttl@justmail.de> parents: 18155 diff changeset	229 <size>
b3838cedfe04 redesign of dock widgets title bar with configurable colors Torsten <ttl@justmail.de> parents: 18155 diff changeset	230 <width>12</width>
b3838cedfe04 redesign of dock widgets title bar with configurable colors Torsten <ttl@justmail.de> parents: 18155 diff changeset	231 <height>20</height>
b3838cedfe04 redesign of dock widgets title bar with configurable colors Torsten <ttl@justmail.de> parents: 18155 diff changeset	232 </size>
b3838cedfe04 redesign of dock widgets title bar with configurable colors Torsten <ttl@justmail.de> parents: 18155 diff changeset	233 </property>
b3838cedfe04 redesign of dock widgets title bar with configurable colors Torsten <ttl@justmail.de> parents: 18155 diff changeset	234 </spacer>
b3838cedfe04 redesign of dock widgets title bar with configurable colors Torsten <ttl@justmail.de> parents: 18155 diff changeset	235 </item>
b3838cedfe04 redesign of dock widgets title bar with configurable colors Torsten <ttl@justmail.de> parents: 18155 diff changeset	236 <item>
b3838cedfe04 redesign of dock widgets title bar with configurable colors Torsten <ttl@justmail.de> parents: 18155 diff changeset	237 <widget class="QLabel" name="label_fgtitle">
b3838cedfe04 redesign of dock widgets title bar with configurable colors Torsten <ttl@justmail.de> parents: 18155 diff changeset	238 <property name="enabled">
b3838cedfe04 redesign of dock widgets title bar with configurable colors Torsten <ttl@justmail.de> parents: 18155 diff changeset	239 <bool>false</bool>
b3838cedfe04 redesign of dock widgets title bar with configurable colors Torsten <ttl@justmail.de> parents: 18155 diff changeset	240 </property>
b3838cedfe04 redesign of dock widgets title bar with configurable colors Torsten <ttl@justmail.de> parents: 18155 diff changeset	241 <property name="text">
b3838cedfe04 redesign of dock widgets title bar with configurable colors Torsten <ttl@justmail.de> parents: 18155 diff changeset	242 <string>Text color</string>
b3838cedfe04 redesign of dock widgets title bar with configurable colors Torsten <ttl@justmail.de> parents: 18155 diff changeset	243 </property>
b3838cedfe04 redesign of dock widgets title bar with configurable colors Torsten <ttl@justmail.de> parents: 18155 diff changeset	244 </widget>
b3838cedfe04 redesign of dock widgets title bar with configurable colors Torsten <ttl@justmail.de> parents: 18155 diff changeset	245 </item>
b3838cedfe04 redesign of dock widgets title bar with configurable colors Torsten <ttl@justmail.de> parents: 18155 diff changeset	246 <item>
b3838cedfe04 redesign of dock widgets title bar with configurable colors Torsten <ttl@justmail.de> parents: 18155 diff changeset	247 <layout class="QHBoxLayout" name="layout_widget_fgtitle"/>
b3838cedfe04 redesign of dock widgets title bar with configurable colors Torsten <ttl@justmail.de> parents: 18155 diff changeset	248 </item>
b3838cedfe04 redesign of dock widgets title bar with configurable colors Torsten <ttl@justmail.de> parents: 18155 diff changeset	249 <item>
b3838cedfe04 redesign of dock widgets title bar with configurable colors Torsten <ttl@justmail.de> parents: 18155 diff changeset	250 <spacer name="horizontalSpacer_21">
b3838cedfe04 redesign of dock widgets title bar with configurable colors Torsten <ttl@justmail.de> parents: 18155 diff changeset	251 <property name="orientation">
b3838cedfe04 redesign of dock widgets title bar with configurable colors Torsten <ttl@justmail.de> parents: 18155 diff changeset	252 <enum>Qt::Horizontal</enum>
b3838cedfe04 redesign of dock widgets title bar with configurable colors Torsten <ttl@justmail.de> parents: 18155 diff changeset	253 </property>
b3838cedfe04 redesign of dock widgets title bar with configurable colors Torsten <ttl@justmail.de> parents: 18155 diff changeset	254 <property name="sizeHint" stdset="0">
b3838cedfe04 redesign of dock widgets title bar with configurable colors Torsten <ttl@justmail.de> parents: 18155 diff changeset	255 <size>
b3838cedfe04 redesign of dock widgets title bar with configurable colors Torsten <ttl@justmail.de> parents: 18155 diff changeset	256 <width>40</width>
b3838cedfe04 redesign of dock widgets title bar with configurable colors Torsten <ttl@justmail.de> parents: 18155 diff changeset	257 <height>20</height>
b3838cedfe04 redesign of dock widgets title bar with configurable colors Torsten <ttl@justmail.de> parents: 18155 diff changeset	258 </size>
b3838cedfe04 redesign of dock widgets title bar with configurable colors Torsten <ttl@justmail.de> parents: 18155 diff changeset	259 </property>
b3838cedfe04 redesign of dock widgets title bar with configurable colors Torsten <ttl@justmail.de> parents: 18155 diff changeset	260 </spacer>
b3838cedfe04 redesign of dock widgets title bar with configurable colors Torsten <ttl@justmail.de> parents: 18155 diff changeset	261 </item>
b3838cedfe04 redesign of dock widgets title bar with configurable colors Torsten <ttl@justmail.de> parents: 18155 diff changeset	262 </layout>
b3838cedfe04 redesign of dock widgets title bar with configurable colors Torsten <ttl@justmail.de> parents: 18155 diff changeset	263 </item>
15972 22ab4fe661d7 gui: selectable language in settings dialog Torsten <ttl@justmail.de> parents: 15787 diff changeset	264 </layout>
22ab4fe661d7 gui: selectable language in settings dialog Torsten <ttl@justmail.de> parents: 15787 diff changeset	265 </item>
22ab4fe661d7 gui: selectable language in settings dialog Torsten <ttl@justmail.de> parents: 15787 diff changeset	266 <item>
16525 e192525236ad configurable size of toolbar icons Torsten <ttl@justmail.de> parents: 16499 diff changeset	267 <spacer name="verticalSpacer_4">
e192525236ad configurable size of toolbar icons Torsten <ttl@justmail.de> parents: 16499 diff changeset	268 <property name="orientation">
e192525236ad configurable size of toolbar icons Torsten <ttl@justmail.de> parents: 16499 diff changeset	269 <enum>Qt::Vertical</enum>
15972 22ab4fe661d7 gui: selectable language in settings dialog Torsten <ttl@justmail.de> parents: 15787 diff changeset	270 </property>
16525 e192525236ad configurable size of toolbar icons Torsten <ttl@justmail.de> parents: 16499 diff changeset	271 <property name="sizeHint" stdset="0">
e192525236ad configurable size of toolbar icons Torsten <ttl@justmail.de> parents: 16499 diff changeset	272 <size>
e192525236ad configurable size of toolbar icons Torsten <ttl@justmail.de> parents: 16499 diff changeset	273 <width>20</width>
e192525236ad configurable size of toolbar icons Torsten <ttl@justmail.de> parents: 16499 diff changeset	274 <height>40</height>
e192525236ad configurable size of toolbar icons Torsten <ttl@justmail.de> parents: 16499 diff changeset	275 </size>
e192525236ad configurable size of toolbar icons Torsten <ttl@justmail.de> parents: 16499 diff changeset	276 </property>
e192525236ad configurable size of toolbar icons Torsten <ttl@justmail.de> parents: 16499 diff changeset	277 </spacer>
15972 22ab4fe661d7 gui: selectable language in settings dialog Torsten <ttl@justmail.de> parents: 15787 diff changeset	278 </item>
22ab4fe661d7 gui: selectable language in settings dialog Torsten <ttl@justmail.de> parents: 15787 diff changeset	279 </layout>
15787 b081fbe80174 provide separate icons for gui's floating widgets Torsten <ttl@justmail.de> parents: 15364 diff changeset	280 </widget>
b081fbe80174 provide separate icons for gui's floating widgets Torsten <ttl@justmail.de> parents: 15364 diff changeset	281 </widget>
17676 c060ad097056 add menu entries to the editor for directly accessing the editor's settings Torsten <ttl@justmail.de> parents: 16865 diff changeset	282 <widget class="QWidget" name="tab_editor">
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	283 <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	284 <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	285 </attribute>
14599 97cb9286919c Cleaned up code. Jacob Dawid <jacob.dawid@googlemail.com> parents: 14588 diff changeset	286 <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	287 <item>
16679 cf939872811c options for auto completion threshold, source and word replacement in settings Torsten <ttl@justmail.de> parents: 16620 diff changeset	288 <layout class="QVBoxLayout" name="verticalLayout_9">
16738 33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	289 <property name="spacing">
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	290 <number>4</number>
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	291 </property>
16703 5cf19370011d add more settings concerning tabs and indentation to the editor settings Torsten <ttl@justmail.de> parents: 16702 diff changeset	292 <item>
16738 33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	293 <layout class="QGridLayout" name="editor_common_settings_grid">
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	294 <property name="spacing">
17676 c060ad097056 add menu entries to the editor for directly accessing the editor's settings Torsten <ttl@justmail.de> parents: 16865 diff changeset	295 <number>6</number>
13659 d98c6ef06dff included some editor setting into the setting dialog ttl <ttl@justmail.de> parents: 13609 diff changeset	296 </property>
18280 4dadae02bd4c max. width of editor tabs limited and configurable Torsten <ttl@justmail.de> parents: 18268 diff changeset	297 <item row="3" column="0">
16702 553cfdd5d660 make white space visibility in the editor configurable Torsten <ttl@justmail.de> parents: 16701 diff changeset	298 <widget class="QCheckBox" name="editor_ws_checkbox">
553cfdd5d660 make white space visibility in the editor configurable Torsten <ttl@justmail.de> parents: 16701 diff changeset	299 <property name="text">
17935 752f6b358754 Tweak GUI strings for conformity. Rik <rik@octave.org> parents: 17740 diff changeset	300 <string>Show whitespace</string>
16702 553cfdd5d660 make white space visibility in the editor configurable Torsten <ttl@justmail.de> parents: 16701 diff changeset	301 </property>
553cfdd5d660 make white space visibility in the editor configurable Torsten <ttl@justmail.de> parents: 16701 diff changeset	302 </widget>
553cfdd5d660 make white space visibility in the editor configurable Torsten <ttl@justmail.de> parents: 16701 diff changeset	303 </item>
18280 4dadae02bd4c max. width of editor tabs limited and configurable Torsten <ttl@justmail.de> parents: 18268 diff changeset	304 <item row="2" column="0">
16738 33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	305 <widget class="QCheckBox" name="editor_showLineNumbers">
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	306 <property name="enabled">
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	307 <bool>true</bool>
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	308 </property>
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	309 <property name="text">
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	310 <string>Show line numbers</string>
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	311 </property>
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	312 </widget>
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	313 </item>
18280 4dadae02bd4c max. width of editor tabs limited and configurable Torsten <ttl@justmail.de> parents: 18268 diff changeset	314 <item row="1" column="0">
16738 33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	315 <widget class="QCheckBox" name="editor_longWindowTitle">
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	316 <property name="text">
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	317 <string>Show complete path in window title</string>
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	318 </property>
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	319 </widget>
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	320 </item>
18280 4dadae02bd4c max. width of editor tabs limited and configurable Torsten <ttl@justmail.de> parents: 18268 diff changeset	321 <item row="3" column="2">
16702 553cfdd5d660 make white space visibility in the editor configurable Torsten <ttl@justmail.de> parents: 16701 diff changeset	322 <widget class="QCheckBox" name="editor_ws_indent_checkbox">
553cfdd5d660 make white space visibility in the editor configurable Torsten <ttl@justmail.de> parents: 16701 diff changeset	323 <property name="enabled">
553cfdd5d660 make white space visibility in the editor configurable Torsten <ttl@justmail.de> parents: 16701 diff changeset	324 <bool>false</bool>
553cfdd5d660 make white space visibility in the editor configurable Torsten <ttl@justmail.de> parents: 16701 diff changeset	325 </property>
553cfdd5d660 make white space visibility in the editor configurable Torsten <ttl@justmail.de> parents: 16701 diff changeset	326 <property name="text">
17935 752f6b358754 Tweak GUI strings for conformity. Rik <rik@octave.org> parents: 17740 diff changeset	327 <string>Do not show whitespace used for indentation</string>
16702 553cfdd5d660 make white space visibility in the editor configurable Torsten <ttl@justmail.de> parents: 16701 diff changeset	328 </property>
553cfdd5d660 make white space visibility in the editor configurable Torsten <ttl@justmail.de> parents: 16701 diff changeset	329 </widget>
553cfdd5d660 make white space visibility in the editor configurable Torsten <ttl@justmail.de> parents: 16701 diff changeset	330 </item>
18280 4dadae02bd4c max. width of editor tabs limited and configurable Torsten <ttl@justmail.de> parents: 18268 diff changeset	331 <item row="4" column="4">
4dadae02bd4c max. width of editor tabs limited and configurable Torsten <ttl@justmail.de> parents: 18268 diff changeset	332 <spacer name="horizontalSpacer_18">
4dadae02bd4c max. width of editor tabs limited and configurable Torsten <ttl@justmail.de> parents: 18268 diff changeset	333 <property name="orientation">
4dadae02bd4c max. width of editor tabs limited and configurable Torsten <ttl@justmail.de> parents: 18268 diff changeset	334 <enum>Qt::Horizontal</enum>
4dadae02bd4c max. width of editor tabs limited and configurable Torsten <ttl@justmail.de> parents: 18268 diff changeset	335 </property>
4dadae02bd4c max. width of editor tabs limited and configurable Torsten <ttl@justmail.de> parents: 18268 diff changeset	336 <property name="sizeHint" stdset="0">
4dadae02bd4c max. width of editor tabs limited and configurable Torsten <ttl@justmail.de> parents: 18268 diff changeset	337 <size>
4dadae02bd4c max. width of editor tabs limited and configurable Torsten <ttl@justmail.de> parents: 18268 diff changeset	338 <width>40</width>
4dadae02bd4c max. width of editor tabs limited and configurable Torsten <ttl@justmail.de> parents: 18268 diff changeset	339 <height>20</height>
4dadae02bd4c max. width of editor tabs limited and configurable Torsten <ttl@justmail.de> parents: 18268 diff changeset	340 </size>
4dadae02bd4c max. width of editor tabs limited and configurable Torsten <ttl@justmail.de> parents: 18268 diff changeset	341 </property>
4dadae02bd4c max. width of editor tabs limited and configurable Torsten <ttl@justmail.de> parents: 18268 diff changeset	342 </spacer>
4dadae02bd4c max. width of editor tabs limited and configurable Torsten <ttl@justmail.de> parents: 18268 diff changeset	343 </item>
4dadae02bd4c max. width of editor tabs limited and configurable Torsten <ttl@justmail.de> parents: 18268 diff changeset	344 <item row="4" column="0">
16738 33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	345 <widget class="QCheckBox" name="editor_highlightCurrentLine">
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	346 <property name="enabled">
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	347 <bool>true</bool>
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	348 </property>
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	349 <property name="text">
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	350 <string>Highlight current line</string>
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	351 </property>
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	352 </widget>
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	353 </item>
18280 4dadae02bd4c max. width of editor tabs limited and configurable Torsten <ttl@justmail.de> parents: 18268 diff changeset	354 <item row="4" column="2">
16738 33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	355 <layout class="QGridLayout" name="editor_grid_current_line" rowstretch="0" columnstretch="0,0,0,0,0">
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	356 <property name="horizontalSpacing">
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	357 <number>12</number>
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	358 </property>
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	359 <property name="verticalSpacing">
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	360 <number>0</number>
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	361 </property>
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	362 <item row="0" column="1">
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	363 <widget class="QLabel" name="editor_label_cl_color">
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	364 <property name="enabled">
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	365 <bool>false</bool>
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	366 </property>
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	367 <property name="text">
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	368 <string>Color</string>
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	369 </property>
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	370 </widget>
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	371 </item>
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	372 <item row="0" column="3">
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	373 <spacer name="horizontalSpacer_11">
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	374 <property name="orientation">
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	375 <enum>Qt::Horizontal</enum>
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	376 </property>
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	377 <property name="sizeType">
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	378 <enum>QSizePolicy::Fixed</enum>
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	379 </property>
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	380 <property name="sizeHint" stdset="0">
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	381 <size>
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	382 <width>80</width>
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	383 <height>20</height>
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	384 </size>
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	385 </property>
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	386 </spacer>
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	387 </item>
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	388 <item row="0" column="4">
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	389 <spacer name="horizontalSpacer_9">
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	390 <property name="orientation">
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	391 <enum>Qt::Horizontal</enum>
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	392 </property>
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	393 <property name="sizeHint" stdset="0">
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	394 <size>
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	395 <width>40</width>
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	396 <height>20</height>
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	397 </size>
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	398 </property>
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	399 </spacer>
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	400 </item>
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	401 </layout>
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	402 </item>
18280 4dadae02bd4c max. width of editor tabs limited and configurable Torsten <ttl@justmail.de> parents: 18268 diff changeset	403 <item row="1" column="4">
16702 553cfdd5d660 make white space visibility in the editor configurable Torsten <ttl@justmail.de> parents: 16701 diff changeset	404 <spacer name="horizontalSpacer_12">
553cfdd5d660 make white space visibility in the editor configurable Torsten <ttl@justmail.de> parents: 16701 diff changeset	405 <property name="orientation">
553cfdd5d660 make white space visibility in the editor configurable Torsten <ttl@justmail.de> parents: 16701 diff changeset	406 <enum>Qt::Horizontal</enum>
553cfdd5d660 make white space visibility in the editor configurable Torsten <ttl@justmail.de> parents: 16701 diff changeset	407 </property>
553cfdd5d660 make white space visibility in the editor configurable Torsten <ttl@justmail.de> parents: 16701 diff changeset	408 <property name="sizeHint" stdset="0">
553cfdd5d660 make white space visibility in the editor configurable Torsten <ttl@justmail.de> parents: 16701 diff changeset	409 <size>
553cfdd5d660 make white space visibility in the editor configurable Torsten <ttl@justmail.de> parents: 16701 diff changeset	410 <width>40</width>
553cfdd5d660 make white space visibility in the editor configurable Torsten <ttl@justmail.de> parents: 16701 diff changeset	411 <height>20</height>
553cfdd5d660 make white space visibility in the editor configurable Torsten <ttl@justmail.de> parents: 16701 diff changeset	412 </size>
553cfdd5d660 make white space visibility in the editor configurable Torsten <ttl@justmail.de> parents: 16701 diff changeset	413 </property>
553cfdd5d660 make white space visibility in the editor configurable Torsten <ttl@justmail.de> parents: 16701 diff changeset	414 </spacer>
553cfdd5d660 make white space visibility in the editor configurable Torsten <ttl@justmail.de> parents: 16701 diff changeset	415 </item>
18280 4dadae02bd4c max. width of editor tabs limited and configurable Torsten <ttl@justmail.de> parents: 18268 diff changeset	416 <item row="2" column="4">
4dadae02bd4c max. width of editor tabs limited and configurable Torsten <ttl@justmail.de> parents: 18268 diff changeset	417 <spacer name="horizontalSpacer_16">
4dadae02bd4c max. width of editor tabs limited and configurable Torsten <ttl@justmail.de> parents: 18268 diff changeset	418 <property name="orientation">
4dadae02bd4c max. width of editor tabs limited and configurable Torsten <ttl@justmail.de> parents: 18268 diff changeset	419 <enum>Qt::Horizontal</enum>
4dadae02bd4c max. width of editor tabs limited and configurable Torsten <ttl@justmail.de> parents: 18268 diff changeset	420 </property>
4dadae02bd4c max. width of editor tabs limited and configurable Torsten <ttl@justmail.de> parents: 18268 diff changeset	421 <property name="sizeHint" stdset="0">
4dadae02bd4c max. width of editor tabs limited and configurable Torsten <ttl@justmail.de> parents: 18268 diff changeset	422 <size>
4dadae02bd4c max. width of editor tabs limited and configurable Torsten <ttl@justmail.de> parents: 18268 diff changeset	423 <width>40</width>
4dadae02bd4c max. width of editor tabs limited and configurable Torsten <ttl@justmail.de> parents: 18268 diff changeset	424 <height>20</height>
4dadae02bd4c max. width of editor tabs limited and configurable Torsten <ttl@justmail.de> parents: 18268 diff changeset	425 </size>
4dadae02bd4c max. width of editor tabs limited and configurable Torsten <ttl@justmail.de> parents: 18268 diff changeset	426 </property>
4dadae02bd4c max. width of editor tabs limited and configurable Torsten <ttl@justmail.de> parents: 18268 diff changeset	427 </spacer>
4dadae02bd4c max. width of editor tabs limited and configurable Torsten <ttl@justmail.de> parents: 18268 diff changeset	428 </item>
4dadae02bd4c max. width of editor tabs limited and configurable Torsten <ttl@justmail.de> parents: 18268 diff changeset	429 <item row="3" column="4">
4dadae02bd4c max. width of editor tabs limited and configurable Torsten <ttl@justmail.de> parents: 18268 diff changeset	430 <spacer name="horizontalSpacer_17">
4dadae02bd4c max. width of editor tabs limited and configurable Torsten <ttl@justmail.de> parents: 18268 diff changeset	431 <property name="orientation">
4dadae02bd4c max. width of editor tabs limited and configurable Torsten <ttl@justmail.de> parents: 18268 diff changeset	432 <enum>Qt::Horizontal</enum>
4dadae02bd4c max. width of editor tabs limited and configurable Torsten <ttl@justmail.de> parents: 18268 diff changeset	433 </property>
4dadae02bd4c max. width of editor tabs limited and configurable Torsten <ttl@justmail.de> parents: 18268 diff changeset	434 <property name="sizeHint" stdset="0">
4dadae02bd4c max. width of editor tabs limited and configurable Torsten <ttl@justmail.de> parents: 18268 diff changeset	435 <size>
4dadae02bd4c max. width of editor tabs limited and configurable Torsten <ttl@justmail.de> parents: 18268 diff changeset	436 <width>40</width>
4dadae02bd4c max. width of editor tabs limited and configurable Torsten <ttl@justmail.de> parents: 18268 diff changeset	437 <height>20</height>
4dadae02bd4c max. width of editor tabs limited and configurable Torsten <ttl@justmail.de> parents: 18268 diff changeset	438 </size>
4dadae02bd4c max. width of editor tabs limited and configurable Torsten <ttl@justmail.de> parents: 18268 diff changeset	439 </property>
4dadae02bd4c max. width of editor tabs limited and configurable Torsten <ttl@justmail.de> parents: 18268 diff changeset	440 </spacer>
4dadae02bd4c max. width of editor tabs limited and configurable Torsten <ttl@justmail.de> parents: 18268 diff changeset	441 </item>
16738 33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	442 <item row="1" column="2">
18280 4dadae02bd4c max. width of editor tabs limited and configurable Torsten <ttl@justmail.de> parents: 18268 diff changeset	443 <layout class="QGridLayout" name="gridLayout_6">
4dadae02bd4c max. width of editor tabs limited and configurable Torsten <ttl@justmail.de> parents: 18268 diff changeset	444 <item row="0" column="0">
4dadae02bd4c max. width of editor tabs limited and configurable Torsten <ttl@justmail.de> parents: 18268 diff changeset	445 <widget class="QLabel" name="label_16">
4dadae02bd4c max. width of editor tabs limited and configurable Torsten <ttl@justmail.de> parents: 18268 diff changeset	446 <property name="text">
4dadae02bd4c max. width of editor tabs limited and configurable Torsten <ttl@justmail.de> parents: 18268 diff changeset	447 <string>Max. tab width in pixel</string>
4dadae02bd4c max. width of editor tabs limited and configurable Torsten <ttl@justmail.de> parents: 18268 diff changeset	448 </property>
4dadae02bd4c max. width of editor tabs limited and configurable Torsten <ttl@justmail.de> parents: 18268 diff changeset	449 </widget>
4dadae02bd4c max. width of editor tabs limited and configurable Torsten <ttl@justmail.de> parents: 18268 diff changeset	450 </item>
4dadae02bd4c max. width of editor tabs limited and configurable Torsten <ttl@justmail.de> parents: 18268 diff changeset	451 <item row="0" column="1">
4dadae02bd4c max. width of editor tabs limited and configurable Torsten <ttl@justmail.de> parents: 18268 diff changeset	452 <widget class="QSpinBox" name="editor_tab_width">
4dadae02bd4c max. width of editor tabs limited and configurable Torsten <ttl@justmail.de> parents: 18268 diff changeset	453 <property name="minimum">
4dadae02bd4c max. width of editor tabs limited and configurable Torsten <ttl@justmail.de> parents: 18268 diff changeset	454 <number>100</number>
4dadae02bd4c max. width of editor tabs limited and configurable Torsten <ttl@justmail.de> parents: 18268 diff changeset	455 </property>
4dadae02bd4c max. width of editor tabs limited and configurable Torsten <ttl@justmail.de> parents: 18268 diff changeset	456 <property name="maximum">
4dadae02bd4c max. width of editor tabs limited and configurable Torsten <ttl@justmail.de> parents: 18268 diff changeset	457 <number>600</number>
4dadae02bd4c max. width of editor tabs limited and configurable Torsten <ttl@justmail.de> parents: 18268 diff changeset	458 </property>
4dadae02bd4c max. width of editor tabs limited and configurable Torsten <ttl@justmail.de> parents: 18268 diff changeset	459 <property name="singleStep">
4dadae02bd4c max. width of editor tabs limited and configurable Torsten <ttl@justmail.de> parents: 18268 diff changeset	460 <number>20</number>
4dadae02bd4c max. width of editor tabs limited and configurable Torsten <ttl@justmail.de> parents: 18268 diff changeset	461 </property>
4dadae02bd4c max. width of editor tabs limited and configurable Torsten <ttl@justmail.de> parents: 18268 diff changeset	462 <property name="value">
4dadae02bd4c max. width of editor tabs limited and configurable Torsten <ttl@justmail.de> parents: 18268 diff changeset	463 <number>300</number>
4dadae02bd4c max. width of editor tabs limited and configurable Torsten <ttl@justmail.de> parents: 18268 diff changeset	464 </property>
4dadae02bd4c max. width of editor tabs limited and configurable Torsten <ttl@justmail.de> parents: 18268 diff changeset	465 </widget>
4dadae02bd4c max. width of editor tabs limited and configurable Torsten <ttl@justmail.de> parents: 18268 diff changeset	466 </item>
4dadae02bd4c max. width of editor tabs limited and configurable Torsten <ttl@justmail.de> parents: 18268 diff changeset	467 <item row="0" column="2">
4dadae02bd4c max. width of editor tabs limited and configurable Torsten <ttl@justmail.de> parents: 18268 diff changeset	468 <spacer name="horizontalSpacer_25">
4dadae02bd4c max. width of editor tabs limited and configurable Torsten <ttl@justmail.de> parents: 18268 diff changeset	469 <property name="orientation">
4dadae02bd4c max. width of editor tabs limited and configurable Torsten <ttl@justmail.de> parents: 18268 diff changeset	470 <enum>Qt::Horizontal</enum>
4dadae02bd4c max. width of editor tabs limited and configurable Torsten <ttl@justmail.de> parents: 18268 diff changeset	471 </property>
4dadae02bd4c max. width of editor tabs limited and configurable Torsten <ttl@justmail.de> parents: 18268 diff changeset	472 <property name="sizeHint" stdset="0">
4dadae02bd4c max. width of editor tabs limited and configurable Torsten <ttl@justmail.de> parents: 18268 diff changeset	473 <size>
4dadae02bd4c max. width of editor tabs limited and configurable Torsten <ttl@justmail.de> parents: 18268 diff changeset	474 <width>40</width>
4dadae02bd4c max. width of editor tabs limited and configurable Torsten <ttl@justmail.de> parents: 18268 diff changeset	475 <height>20</height>
4dadae02bd4c max. width of editor tabs limited and configurable Torsten <ttl@justmail.de> parents: 18268 diff changeset	476 </size>
4dadae02bd4c max. width of editor tabs limited and configurable Torsten <ttl@justmail.de> parents: 18268 diff changeset	477 </property>
4dadae02bd4c max. width of editor tabs limited and configurable Torsten <ttl@justmail.de> parents: 18268 diff changeset	478 </spacer>
4dadae02bd4c max. width of editor tabs limited and configurable Torsten <ttl@justmail.de> parents: 18268 diff changeset	479 </item>
4dadae02bd4c max. width of editor tabs limited and configurable Torsten <ttl@justmail.de> parents: 18268 diff changeset	480 </layout>
16693 e9d0b8252a0a make color of current line marker in the editor configurable Torsten <ttl@justmail.de> parents: 16679 diff changeset	481 </item>
18280 4dadae02bd4c max. width of editor tabs limited and configurable Torsten <ttl@justmail.de> parents: 18268 diff changeset	482 <item row="1" column="1">
4dadae02bd4c max. width of editor tabs limited and configurable Torsten <ttl@justmail.de> parents: 18268 diff changeset	483 <spacer name="horizontalSpacer_24">
16693 e9d0b8252a0a make color of current line marker in the editor configurable Torsten <ttl@justmail.de> parents: 16679 diff changeset	484 <property name="orientation">
e9d0b8252a0a make color of current line marker in the editor configurable Torsten <ttl@justmail.de> parents: 16679 diff changeset	485 <enum>Qt::Horizontal</enum>
e9d0b8252a0a make color of current line marker in the editor configurable Torsten <ttl@justmail.de> parents: 16679 diff changeset	486 </property>
18280 4dadae02bd4c max. width of editor tabs limited and configurable Torsten <ttl@justmail.de> parents: 18268 diff changeset	487 <property name="sizeType">
4dadae02bd4c max. width of editor tabs limited and configurable Torsten <ttl@justmail.de> parents: 18268 diff changeset	488 <enum>QSizePolicy::Fixed</enum>
16703 5cf19370011d add more settings concerning tabs and indentation to the editor settings Torsten <ttl@justmail.de> parents: 16702 diff changeset	489 </property>
5cf19370011d add more settings concerning tabs and indentation to the editor settings Torsten <ttl@justmail.de> parents: 16702 diff changeset	490 <property name="sizeHint" stdset="0">
5cf19370011d add more settings concerning tabs and indentation to the editor settings Torsten <ttl@justmail.de> parents: 16702 diff changeset	491 <size>
18280 4dadae02bd4c max. width of editor tabs limited and configurable Torsten <ttl@justmail.de> parents: 18268 diff changeset	492 <width>10</width>
4dadae02bd4c max. width of editor tabs limited and configurable Torsten <ttl@justmail.de> parents: 18268 diff changeset	493 <height>0</height>
16703 5cf19370011d add more settings concerning tabs and indentation to the editor settings Torsten <ttl@justmail.de> parents: 16702 diff changeset	494 </size>
5cf19370011d add more settings concerning tabs and indentation to the editor settings Torsten <ttl@justmail.de> parents: 16702 diff changeset	495 </property>
5cf19370011d add more settings concerning tabs and indentation to the editor settings Torsten <ttl@justmail.de> parents: 16702 diff changeset	496 </spacer>
5cf19370011d add more settings concerning tabs and indentation to the editor settings Torsten <ttl@justmail.de> parents: 16702 diff changeset	497 </item>
5cf19370011d add more settings concerning tabs and indentation to the editor settings Torsten <ttl@justmail.de> parents: 16702 diff changeset	498 </layout>
5cf19370011d add more settings concerning tabs and indentation to the editor settings Torsten <ttl@justmail.de> parents: 16702 diff changeset	499 </item>
5cf19370011d add more settings concerning tabs and indentation to the editor settings Torsten <ttl@justmail.de> parents: 16702 diff changeset	500 <item>
5cf19370011d add more settings concerning tabs and indentation to the editor settings Torsten <ttl@justmail.de> parents: 16702 diff changeset	501 <widget class="Line" name="line">
5cf19370011d add more settings concerning tabs and indentation to the editor settings Torsten <ttl@justmail.de> parents: 16702 diff changeset	502 <property name="orientation">
5cf19370011d add more settings concerning tabs and indentation to the editor settings Torsten <ttl@justmail.de> parents: 16702 diff changeset	503 <enum>Qt::Horizontal</enum>
5cf19370011d add more settings concerning tabs and indentation to the editor settings Torsten <ttl@justmail.de> parents: 16702 diff changeset	504 </property>
5cf19370011d add more settings concerning tabs and indentation to the editor settings Torsten <ttl@justmail.de> parents: 16702 diff changeset	505 </widget>
5cf19370011d add more settings concerning tabs and indentation to the editor settings Torsten <ttl@justmail.de> parents: 16702 diff changeset	506 </item>
5cf19370011d add more settings concerning tabs and indentation to the editor settings Torsten <ttl@justmail.de> parents: 16702 diff changeset	507 <item>
5cf19370011d add more settings concerning tabs and indentation to the editor settings Torsten <ttl@justmail.de> parents: 16702 diff changeset	508 <layout class="QGridLayout" name="gridLayout_4">
16738 33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	509 <property name="verticalSpacing">
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	510 <number>0</number>
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	511 </property>
18280 4dadae02bd4c max. width of editor tabs limited and configurable Torsten <ttl@justmail.de> parents: 18268 diff changeset	512 <item row="0" column="0">
4dadae02bd4c max. width of editor tabs limited and configurable Torsten <ttl@justmail.de> parents: 18268 diff changeset	513 <widget class="QLabel" name="label_13">
4dadae02bd4c max. width of editor tabs limited and configurable Torsten <ttl@justmail.de> parents: 18268 diff changeset	514 <property name="text">
4dadae02bd4c max. width of editor tabs limited and configurable Torsten <ttl@justmail.de> parents: 18268 diff changeset	515 <string>Indent width</string>
4dadae02bd4c max. width of editor tabs limited and configurable Torsten <ttl@justmail.de> parents: 18268 diff changeset	516 </property>
4dadae02bd4c max. width of editor tabs limited and configurable Torsten <ttl@justmail.de> parents: 18268 diff changeset	517 </widget>
4dadae02bd4c max. width of editor tabs limited and configurable Torsten <ttl@justmail.de> parents: 18268 diff changeset	518 </item>
4dadae02bd4c max. width of editor tabs limited and configurable Torsten <ttl@justmail.de> parents: 18268 diff changeset	519 <item row="2" column="4">
4dadae02bd4c max. width of editor tabs limited and configurable Torsten <ttl@justmail.de> parents: 18268 diff changeset	520 <widget class="QCheckBox" name="editor_tab_ind_checkbox">
4dadae02bd4c max. width of editor tabs limited and configurable Torsten <ttl@justmail.de> parents: 18268 diff changeset	521 <property name="text">
4dadae02bd4c max. width of editor tabs limited and configurable Torsten <ttl@justmail.de> parents: 18268 diff changeset	522 <string>Tab indents line</string>
4dadae02bd4c max. width of editor tabs limited and configurable Torsten <ttl@justmail.de> parents: 18268 diff changeset	523 </property>
4dadae02bd4c max. width of editor tabs limited and configurable Torsten <ttl@justmail.de> parents: 18268 diff changeset	524 </widget>
4dadae02bd4c max. width of editor tabs limited and configurable Torsten <ttl@justmail.de> parents: 18268 diff changeset	525 </item>
4dadae02bd4c max. width of editor tabs limited and configurable Torsten <ttl@justmail.de> parents: 18268 diff changeset	526 <item row="0" column="5">
4dadae02bd4c max. width of editor tabs limited and configurable Torsten <ttl@justmail.de> parents: 18268 diff changeset	527 <spacer name="horizontalSpacer_14">
16738 33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	528 <property name="orientation">
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	529 <enum>Qt::Horizontal</enum>
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	530 </property>
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	531 <property name="sizeType">
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	532 <enum>QSizePolicy::Fixed</enum>
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	533 </property>
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	534 <property name="sizeHint" stdset="0">
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	535 <size>
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	536 <width>10</width>
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	537 <height>0</height>
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	538 </size>
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	539 </property>
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	540 </spacer>
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	541 </item>
16703 5cf19370011d add more settings concerning tabs and indentation to the editor settings Torsten <ttl@justmail.de> parents: 16702 diff changeset	542 <item row="0" column="4">
5cf19370011d add more settings concerning tabs and indentation to the editor settings Torsten <ttl@justmail.de> parents: 16702 diff changeset	543 <widget class="QCheckBox" name="editor_auto_ind_checkbox">
5cf19370011d add more settings concerning tabs and indentation to the editor settings Torsten <ttl@justmail.de> parents: 16702 diff changeset	544 <property name="text">
5cf19370011d add more settings concerning tabs and indentation to the editor settings Torsten <ttl@justmail.de> parents: 16702 diff changeset	545 <string>Auto indentation</string>
5cf19370011d add more settings concerning tabs and indentation to the editor settings Torsten <ttl@justmail.de> parents: 16702 diff changeset	546 </property>
5cf19370011d add more settings concerning tabs and indentation to the editor settings Torsten <ttl@justmail.de> parents: 16702 diff changeset	547 </widget>
5cf19370011d add more settings concerning tabs and indentation to the editor settings Torsten <ttl@justmail.de> parents: 16702 diff changeset	548 </item>
5cf19370011d add more settings concerning tabs and indentation to the editor settings Torsten <ttl@justmail.de> parents: 16702 diff changeset	549 <item row="0" column="2">
5cf19370011d add more settings concerning tabs and indentation to the editor settings Torsten <ttl@justmail.de> parents: 16702 diff changeset	550 <widget class="QSpinBox" name="editor_ind_width_spinbox">
5cf19370011d add more settings concerning tabs and indentation to the editor settings Torsten <ttl@justmail.de> parents: 16702 diff changeset	551 <property name="minimum">
5cf19370011d add more settings concerning tabs and indentation to the editor settings Torsten <ttl@justmail.de> parents: 16702 diff changeset	552 <number>1</number>
5cf19370011d add more settings concerning tabs and indentation to the editor settings Torsten <ttl@justmail.de> parents: 16702 diff changeset	553 </property>
5cf19370011d add more settings concerning tabs and indentation to the editor settings Torsten <ttl@justmail.de> parents: 16702 diff changeset	554 <property name="maximum">
5cf19370011d add more settings concerning tabs and indentation to the editor settings Torsten <ttl@justmail.de> parents: 16702 diff changeset	555 <number>32</number>
5cf19370011d add more settings concerning tabs and indentation to the editor settings Torsten <ttl@justmail.de> parents: 16702 diff changeset	556 </property>
5cf19370011d add more settings concerning tabs and indentation to the editor settings Torsten <ttl@justmail.de> parents: 16702 diff changeset	557 <property name="value">
5cf19370011d add more settings concerning tabs and indentation to the editor settings Torsten <ttl@justmail.de> parents: 16702 diff changeset	558 <number>2</number>
5cf19370011d add more settings concerning tabs and indentation to the editor settings Torsten <ttl@justmail.de> parents: 16702 diff changeset	559 </property>
5cf19370011d add more settings concerning tabs and indentation to the editor settings Torsten <ttl@justmail.de> parents: 16702 diff changeset	560 </widget>
5cf19370011d add more settings concerning tabs and indentation to the editor settings Torsten <ttl@justmail.de> parents: 16702 diff changeset	561 </item>
5cf19370011d add more settings concerning tabs and indentation to the editor settings Torsten <ttl@justmail.de> parents: 16702 diff changeset	562 <item row="2" column="0">
5cf19370011d add more settings concerning tabs and indentation to the editor settings Torsten <ttl@justmail.de> parents: 16702 diff changeset	563 <widget class="QLabel" name="label_14">
5cf19370011d add more settings concerning tabs and indentation to the editor settings Torsten <ttl@justmail.de> parents: 16702 diff changeset	564 <property name="text">
5cf19370011d add more settings concerning tabs and indentation to the editor settings Torsten <ttl@justmail.de> parents: 16702 diff changeset	565 <string>Tab width</string>
5cf19370011d add more settings concerning tabs and indentation to the editor settings Torsten <ttl@justmail.de> parents: 16702 diff changeset	566 </property>
5cf19370011d add more settings concerning tabs and indentation to the editor settings Torsten <ttl@justmail.de> parents: 16702 diff changeset	567 </widget>
5cf19370011d add more settings concerning tabs and indentation to the editor settings Torsten <ttl@justmail.de> parents: 16702 diff changeset	568 </item>
16738 33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	569 <item row="0" column="6">
16703 5cf19370011d add more settings concerning tabs and indentation to the editor settings Torsten <ttl@justmail.de> parents: 16702 diff changeset	570 <widget class="QCheckBox" name="editor_ind_guides_checkbox">
5cf19370011d add more settings concerning tabs and indentation to the editor settings Torsten <ttl@justmail.de> parents: 16702 diff changeset	571 <property name="text">
5cf19370011d add more settings concerning tabs and indentation to the editor settings Torsten <ttl@justmail.de> parents: 16702 diff changeset	572 <string>Show indentation guides</string>
5cf19370011d add more settings concerning tabs and indentation to the editor settings Torsten <ttl@justmail.de> parents: 16702 diff changeset	573 </property>
5cf19370011d add more settings concerning tabs and indentation to the editor settings Torsten <ttl@justmail.de> parents: 16702 diff changeset	574 </widget>
5cf19370011d add more settings concerning tabs and indentation to the editor settings Torsten <ttl@justmail.de> parents: 16702 diff changeset	575 </item>
5cf19370011d add more settings concerning tabs and indentation to the editor settings Torsten <ttl@justmail.de> parents: 16702 diff changeset	576 <item row="2" column="2">
5cf19370011d add more settings concerning tabs and indentation to the editor settings Torsten <ttl@justmail.de> parents: 16702 diff changeset	577 <widget class="QSpinBox" name="editor_tab_width_spinbox">
5cf19370011d add more settings concerning tabs and indentation to the editor settings Torsten <ttl@justmail.de> parents: 16702 diff changeset	578 <property name="minimum">
5cf19370011d add more settings concerning tabs and indentation to the editor settings Torsten <ttl@justmail.de> parents: 16702 diff changeset	579 <number>1</number>
5cf19370011d add more settings concerning tabs and indentation to the editor settings Torsten <ttl@justmail.de> parents: 16702 diff changeset	580 </property>
5cf19370011d add more settings concerning tabs and indentation to the editor settings Torsten <ttl@justmail.de> parents: 16702 diff changeset	581 <property name="maximum">
5cf19370011d add more settings concerning tabs and indentation to the editor settings Torsten <ttl@justmail.de> parents: 16702 diff changeset	582 <number>32</number>
5cf19370011d add more settings concerning tabs and indentation to the editor settings Torsten <ttl@justmail.de> parents: 16702 diff changeset	583 </property>
5cf19370011d add more settings concerning tabs and indentation to the editor settings Torsten <ttl@justmail.de> parents: 16702 diff changeset	584 </widget>
5cf19370011d add more settings concerning tabs and indentation to the editor settings Torsten <ttl@justmail.de> parents: 16702 diff changeset	585 </item>
16738 33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	586 <item row="2" column="6">
16703 5cf19370011d add more settings concerning tabs and indentation to the editor settings Torsten <ttl@justmail.de> parents: 16702 diff changeset	587 <widget class="QCheckBox" name="editor_bs_unind_checkbox">
5cf19370011d add more settings concerning tabs and indentation to the editor settings Torsten <ttl@justmail.de> parents: 16702 diff changeset	588 <property name="text">
5cf19370011d add more settings concerning tabs and indentation to the editor settings Torsten <ttl@justmail.de> parents: 16702 diff changeset	589 <string>Backspace unindents line</string>
5cf19370011d add more settings concerning tabs and indentation to the editor settings Torsten <ttl@justmail.de> parents: 16702 diff changeset	590 </property>
5cf19370011d add more settings concerning tabs and indentation to the editor settings Torsten <ttl@justmail.de> parents: 16702 diff changeset	591 </widget>
5cf19370011d add more settings concerning tabs and indentation to the editor settings Torsten <ttl@justmail.de> parents: 16702 diff changeset	592 </item>
16738 33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	593 <item row="0" column="10">
16703 5cf19370011d add more settings concerning tabs and indentation to the editor settings Torsten <ttl@justmail.de> parents: 16702 diff changeset	594 <spacer name="horizontalSpacer_13">
5cf19370011d add more settings concerning tabs and indentation to the editor settings Torsten <ttl@justmail.de> parents: 16702 diff changeset	595 <property name="orientation">
5cf19370011d add more settings concerning tabs and indentation to the editor settings Torsten <ttl@justmail.de> parents: 16702 diff changeset	596 <enum>Qt::Horizontal</enum>
5cf19370011d add more settings concerning tabs and indentation to the editor settings Torsten <ttl@justmail.de> parents: 16702 diff changeset	597 </property>
16693 e9d0b8252a0a make color of current line marker in the editor configurable Torsten <ttl@justmail.de> parents: 16679 diff changeset	598 <property name="sizeHint" stdset="0">
e9d0b8252a0a make color of current line marker in the editor configurable Torsten <ttl@justmail.de> parents: 16679 diff changeset	599 <size>
e9d0b8252a0a make color of current line marker in the editor configurable Torsten <ttl@justmail.de> parents: 16679 diff changeset	600 <width>40</width>
e9d0b8252a0a make color of current line marker in the editor configurable Torsten <ttl@justmail.de> parents: 16679 diff changeset	601 <height>20</height>
e9d0b8252a0a make color of current line marker in the editor configurable Torsten <ttl@justmail.de> parents: 16679 diff changeset	602 </size>
e9d0b8252a0a make color of current line marker in the editor configurable Torsten <ttl@justmail.de> parents: 16679 diff changeset	603 </property>
e9d0b8252a0a make color of current line marker in the editor configurable Torsten <ttl@justmail.de> parents: 16679 diff changeset	604 </spacer>
e9d0b8252a0a make color of current line marker in the editor configurable Torsten <ttl@justmail.de> parents: 16679 diff changeset	605 </item>
18280 4dadae02bd4c max. width of editor tabs limited and configurable Torsten <ttl@justmail.de> parents: 18268 diff changeset	606 <item row="2" column="10">
4dadae02bd4c max. width of editor tabs limited and configurable Torsten <ttl@justmail.de> parents: 18268 diff changeset	607 <spacer name="horizontalSpacer_20">
4dadae02bd4c max. width of editor tabs limited and configurable Torsten <ttl@justmail.de> parents: 18268 diff changeset	608 <property name="orientation">
4dadae02bd4c max. width of editor tabs limited and configurable Torsten <ttl@justmail.de> parents: 18268 diff changeset	609 <enum>Qt::Horizontal</enum>
4dadae02bd4c max. width of editor tabs limited and configurable Torsten <ttl@justmail.de> parents: 18268 diff changeset	610 </property>
4dadae02bd4c max. width of editor tabs limited and configurable Torsten <ttl@justmail.de> parents: 18268 diff changeset	611 <property name="sizeHint" stdset="0">
4dadae02bd4c max. width of editor tabs limited and configurable Torsten <ttl@justmail.de> parents: 18268 diff changeset	612 <size>
4dadae02bd4c max. width of editor tabs limited and configurable Torsten <ttl@justmail.de> parents: 18268 diff changeset	613 <width>40</width>
4dadae02bd4c max. width of editor tabs limited and configurable Torsten <ttl@justmail.de> parents: 18268 diff changeset	614 <height>20</height>
4dadae02bd4c max. width of editor tabs limited and configurable Torsten <ttl@justmail.de> parents: 18268 diff changeset	615 </size>
4dadae02bd4c max. width of editor tabs limited and configurable Torsten <ttl@justmail.de> parents: 18268 diff changeset	616 </property>
4dadae02bd4c max. width of editor tabs limited and configurable Torsten <ttl@justmail.de> parents: 18268 diff changeset	617 </spacer>
4dadae02bd4c max. width of editor tabs limited and configurable Torsten <ttl@justmail.de> parents: 18268 diff changeset	618 </item>
4dadae02bd4c max. width of editor tabs limited and configurable Torsten <ttl@justmail.de> parents: 18268 diff changeset	619 <item row="0" column="3">
4dadae02bd4c max. width of editor tabs limited and configurable Torsten <ttl@justmail.de> parents: 18268 diff changeset	620 <spacer name="horizontalSpacer_10">
16738 33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	621 <property name="orientation">
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	622 <enum>Qt::Horizontal</enum>
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	623 </property>
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	624 <property name="sizeType">
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	625 <enum>QSizePolicy::Fixed</enum>
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	626 </property>
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	627 <property name="sizeHint" stdset="0">
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	628 <size>
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	629 <width>10</width>
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	630 <height>0</height>
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	631 </size>
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	632 </property>
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	633 </spacer>
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	634 </item>
16693 e9d0b8252a0a make color of current line marker in the editor configurable Torsten <ttl@justmail.de> parents: 16679 diff changeset	635 </layout>
13659 d98c6ef06dff included some editor setting into the setting dialog ttl <ttl@justmail.de> parents: 13609 diff changeset	636 </item>
d98c6ef06dff included some editor setting into the setting dialog ttl <ttl@justmail.de> parents: 13609 diff changeset	637 <item>
16703 5cf19370011d add more settings concerning tabs and indentation to the editor settings Torsten <ttl@justmail.de> parents: 16702 diff changeset	638 <widget class="Line" name="line_2">
5cf19370011d add more settings concerning tabs and indentation to the editor settings Torsten <ttl@justmail.de> parents: 16702 diff changeset	639 <property name="orientation">
5cf19370011d add more settings concerning tabs and indentation to the editor settings Torsten <ttl@justmail.de> parents: 16702 diff changeset	640 <enum>Qt::Horizontal</enum>
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	641 </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	642 </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	643 </item>
16679 cf939872811c options for auto completion threshold, source and word replacement in settings Torsten <ttl@justmail.de> parents: 16620 diff changeset	644 <item>
cf939872811c options for auto completion threshold, source and word replacement in settings Torsten <ttl@justmail.de> parents: 16620 diff changeset	645 <layout class="QGridLayout" name="gridLayout_2">
16738 33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	646 <property name="verticalSpacing">
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	647 <number>0</number>
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	648 </property>
16701 ccfbc767ff5a make case sensitivity of editors auto completion list configurable Torsten <ttl@justmail.de> parents: 16700 diff changeset	649 <item row="0" column="0">
ccfbc767ff5a make case sensitivity of editors auto completion list configurable Torsten <ttl@justmail.de> parents: 16700 diff changeset	650 <widget class="QCheckBox" name="editor_codeCompletion">
ccfbc767ff5a make case sensitivity of editors auto completion list configurable Torsten <ttl@justmail.de> parents: 16700 diff changeset	651 <property name="enabled">
ccfbc767ff5a make case sensitivity of editors auto completion list configurable Torsten <ttl@justmail.de> parents: 16700 diff changeset	652 <bool>true</bool>
ccfbc767ff5a make case sensitivity of editors auto completion list configurable Torsten <ttl@justmail.de> parents: 16700 diff changeset	653 </property>
ccfbc767ff5a make case sensitivity of editors auto completion list configurable Torsten <ttl@justmail.de> parents: 16700 diff changeset	654 <property name="text">
ccfbc767ff5a make case sensitivity of editors auto completion list configurable Torsten <ttl@justmail.de> parents: 16700 diff changeset	655 <string>Code completion</string>
ccfbc767ff5a make case sensitivity of editors auto completion list configurable Torsten <ttl@justmail.de> parents: 16700 diff changeset	656 </property>
ccfbc767ff5a make case sensitivity of editors auto completion list configurable Torsten <ttl@justmail.de> parents: 16700 diff changeset	657 <property name="checked">
ccfbc767ff5a make case sensitivity of editors auto completion list configurable Torsten <ttl@justmail.de> parents: 16700 diff changeset	658 <bool>false</bool>
ccfbc767ff5a make case sensitivity of editors auto completion list configurable Torsten <ttl@justmail.de> parents: 16700 diff changeset	659 </property>
ccfbc767ff5a make case sensitivity of editors auto completion list configurable Torsten <ttl@justmail.de> parents: 16700 diff changeset	660 </widget>
ccfbc767ff5a make case sensitivity of editors auto completion list configurable Torsten <ttl@justmail.de> parents: 16700 diff changeset	661 </item>
16679 cf939872811c options for auto completion threshold, source and word replacement in settings Torsten <ttl@justmail.de> parents: 16620 diff changeset	662 <item row="0" column="2">
cf939872811c options for auto completion threshold, source and word replacement in settings Torsten <ttl@justmail.de> parents: 16620 diff changeset	663 <layout class="QHBoxLayout" name="horizontalLayout_2">
cf939872811c options for auto completion threshold, source and word replacement in settings Torsten <ttl@justmail.de> parents: 16620 diff changeset	664 <property name="spacing">
cf939872811c options for auto completion threshold, source and word replacement in settings Torsten <ttl@justmail.de> parents: 16620 diff changeset	665 <number>6</number>
cf939872811c options for auto completion threshold, source and word replacement in settings Torsten <ttl@justmail.de> parents: 16620 diff changeset	666 </property>
cf939872811c options for auto completion threshold, source and word replacement in settings Torsten <ttl@justmail.de> parents: 16620 diff changeset	667 <item>
cf939872811c options for auto completion threshold, source and word replacement in settings Torsten <ttl@justmail.de> parents: 16620 diff changeset	668 <widget class="QLabel" name="editor_label_ac_threshold">
cf939872811c options for auto completion threshold, source and word replacement in settings Torsten <ttl@justmail.de> parents: 16620 diff changeset	669 <property name="enabled">
cf939872811c options for auto completion threshold, source and word replacement in settings Torsten <ttl@justmail.de> parents: 16620 diff changeset	670 <bool>false</bool>
cf939872811c options for auto completion threshold, source and word replacement in settings Torsten <ttl@justmail.de> parents: 16620 diff changeset	671 </property>
cf939872811c options for auto completion threshold, source and word replacement in settings Torsten <ttl@justmail.de> parents: 16620 diff changeset	672 <property name="text">
17935 752f6b358754 Tweak GUI strings for conformity. Rik <rik@octave.org> parents: 17740 diff changeset	673 <string># of characters typed before completion list displayed</string>
16679 cf939872811c options for auto completion threshold, source and word replacement in settings Torsten <ttl@justmail.de> parents: 16620 diff changeset	674 </property>
cf939872811c options for auto completion threshold, source and word replacement in settings Torsten <ttl@justmail.de> parents: 16620 diff changeset	675 </widget>
cf939872811c options for auto completion threshold, source and word replacement in settings Torsten <ttl@justmail.de> parents: 16620 diff changeset	676 </item>
cf939872811c options for auto completion threshold, source and word replacement in settings Torsten <ttl@justmail.de> parents: 16620 diff changeset	677 <item>
cf939872811c options for auto completion threshold, source and word replacement in settings Torsten <ttl@justmail.de> parents: 16620 diff changeset	678 <widget class="QSpinBox" name="editor_spinbox_ac_threshold">
cf939872811c options for auto completion threshold, source and word replacement in settings Torsten <ttl@justmail.de> parents: 16620 diff changeset	679 <property name="enabled">
cf939872811c options for auto completion threshold, source and word replacement in settings Torsten <ttl@justmail.de> parents: 16620 diff changeset	680 <bool>false</bool>
cf939872811c options for auto completion threshold, source and word replacement in settings Torsten <ttl@justmail.de> parents: 16620 diff changeset	681 </property>
cf939872811c options for auto completion threshold, source and word replacement in settings Torsten <ttl@justmail.de> parents: 16620 diff changeset	682 <property name="toolTip">
cf939872811c options for auto completion threshold, source and word replacement in settings Torsten <ttl@justmail.de> parents: 16620 diff changeset	683 <string/>
cf939872811c options for auto completion threshold, source and word replacement in settings Torsten <ttl@justmail.de> parents: 16620 diff changeset	684 </property>
cf939872811c options for auto completion threshold, source and word replacement in settings Torsten <ttl@justmail.de> parents: 16620 diff changeset	685 <property name="whatsThis">
cf939872811c options for auto completion threshold, source and word replacement in settings Torsten <ttl@justmail.de> parents: 16620 diff changeset	686 <string/>
cf939872811c options for auto completion threshold, source and word replacement in settings Torsten <ttl@justmail.de> parents: 16620 diff changeset	687 </property>
cf939872811c options for auto completion threshold, source and word replacement in settings Torsten <ttl@justmail.de> parents: 16620 diff changeset	688 <property name="suffix">
cf939872811c options for auto completion threshold, source and word replacement in settings Torsten <ttl@justmail.de> parents: 16620 diff changeset	689 <string/>
cf939872811c options for auto completion threshold, source and word replacement in settings Torsten <ttl@justmail.de> parents: 16620 diff changeset	690 </property>
cf939872811c options for auto completion threshold, source and word replacement in settings Torsten <ttl@justmail.de> parents: 16620 diff changeset	691 <property name="minimum">
cf939872811c options for auto completion threshold, source and word replacement in settings Torsten <ttl@justmail.de> parents: 16620 diff changeset	692 <number>1</number>
cf939872811c options for auto completion threshold, source and word replacement in settings Torsten <ttl@justmail.de> parents: 16620 diff changeset	693 </property>
cf939872811c options for auto completion threshold, source and word replacement in settings Torsten <ttl@justmail.de> parents: 16620 diff changeset	694 <property name="maximum">
cf939872811c options for auto completion threshold, source and word replacement in settings Torsten <ttl@justmail.de> parents: 16620 diff changeset	695 <number>6</number>
cf939872811c options for auto completion threshold, source and word replacement in settings Torsten <ttl@justmail.de> parents: 16620 diff changeset	696 </property>
cf939872811c options for auto completion threshold, source and word replacement in settings Torsten <ttl@justmail.de> parents: 16620 diff changeset	697 <property name="value">
cf939872811c options for auto completion threshold, source and word replacement in settings Torsten <ttl@justmail.de> parents: 16620 diff changeset	698 <number>2</number>
cf939872811c options for auto completion threshold, source and word replacement in settings Torsten <ttl@justmail.de> parents: 16620 diff changeset	699 </property>
cf939872811c options for auto completion threshold, source and word replacement in settings Torsten <ttl@justmail.de> parents: 16620 diff changeset	700 </widget>
cf939872811c options for auto completion threshold, source and word replacement in settings Torsten <ttl@justmail.de> parents: 16620 diff changeset	701 </item>
cf939872811c options for auto completion threshold, source and word replacement in settings Torsten <ttl@justmail.de> parents: 16620 diff changeset	702 <item>
cf939872811c options for auto completion threshold, source and word replacement in settings Torsten <ttl@justmail.de> parents: 16620 diff changeset	703 <spacer name="horizontalSpacer_2">
cf939872811c options for auto completion threshold, source and word replacement in settings Torsten <ttl@justmail.de> parents: 16620 diff changeset	704 <property name="orientation">
cf939872811c options for auto completion threshold, source and word replacement in settings Torsten <ttl@justmail.de> parents: 16620 diff changeset	705 <enum>Qt::Horizontal</enum>
cf939872811c options for auto completion threshold, source and word replacement in settings Torsten <ttl@justmail.de> parents: 16620 diff changeset	706 </property>
cf939872811c options for auto completion threshold, source and word replacement in settings Torsten <ttl@justmail.de> parents: 16620 diff changeset	707 <property name="sizeHint" stdset="0">
cf939872811c options for auto completion threshold, source and word replacement in settings Torsten <ttl@justmail.de> parents: 16620 diff changeset	708 <size>
cf939872811c options for auto completion threshold, source and word replacement in settings Torsten <ttl@justmail.de> parents: 16620 diff changeset	709 <width>40</width>
cf939872811c options for auto completion threshold, source and word replacement in settings Torsten <ttl@justmail.de> parents: 16620 diff changeset	710 <height>20</height>
cf939872811c options for auto completion threshold, source and word replacement in settings Torsten <ttl@justmail.de> parents: 16620 diff changeset	711 </size>
cf939872811c options for auto completion threshold, source and word replacement in settings Torsten <ttl@justmail.de> parents: 16620 diff changeset	712 </property>
cf939872811c options for auto completion threshold, source and word replacement in settings Torsten <ttl@justmail.de> parents: 16620 diff changeset	713 </spacer>
cf939872811c options for auto completion threshold, source and word replacement in settings Torsten <ttl@justmail.de> parents: 16620 diff changeset	714 </item>
cf939872811c options for auto completion threshold, source and word replacement in settings Torsten <ttl@justmail.de> parents: 16620 diff changeset	715 </layout>
cf939872811c options for auto completion threshold, source and word replacement in settings Torsten <ttl@justmail.de> parents: 16620 diff changeset	716 </item>
cf939872811c options for auto completion threshold, source and word replacement in settings Torsten <ttl@justmail.de> parents: 16620 diff changeset	717 <item row="1" column="2">
16701 ccfbc767ff5a make case sensitivity of editors auto completion list configurable Torsten <ttl@justmail.de> parents: 16700 diff changeset	718 <layout class="QGridLayout" name="gridLayout_3">
16738 33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	719 <property name="verticalSpacing">
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	720 <number>0</number>
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	721 </property>
16701 ccfbc767ff5a make case sensitivity of editors auto completion list configurable Torsten <ttl@justmail.de> parents: 16700 diff changeset	722 <item row="0" column="1">
16738 33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	723 <spacer name="horizontalSpacer_15">
16679 cf939872811c options for auto completion threshold, source and word replacement in settings Torsten <ttl@justmail.de> parents: 16620 diff changeset	724 <property name="orientation">
cf939872811c options for auto completion threshold, source and word replacement in settings Torsten <ttl@justmail.de> parents: 16620 diff changeset	725 <enum>Qt::Horizontal</enum>
cf939872811c options for auto completion threshold, source and word replacement in settings Torsten <ttl@justmail.de> parents: 16620 diff changeset	726 </property>
16738 33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	727 <property name="sizeType">
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	728 <enum>QSizePolicy::Fixed</enum>
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	729 </property>
16679 cf939872811c options for auto completion threshold, source and word replacement in settings Torsten <ttl@justmail.de> parents: 16620 diff changeset	730 <property name="sizeHint" stdset="0">
cf939872811c options for auto completion threshold, source and word replacement in settings Torsten <ttl@justmail.de> parents: 16620 diff changeset	731 <size>
16738 33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	732 <width>10</width>
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	733 <height>0</height>
16679 cf939872811c options for auto completion threshold, source and word replacement in settings Torsten <ttl@justmail.de> parents: 16620 diff changeset	734 </size>
cf939872811c options for auto completion threshold, source and word replacement in settings Torsten <ttl@justmail.de> parents: 16620 diff changeset	735 </property>
cf939872811c options for auto completion threshold, source and word replacement in settings Torsten <ttl@justmail.de> parents: 16620 diff changeset	736 </spacer>
cf939872811c options for auto completion threshold, source and word replacement in settings Torsten <ttl@justmail.de> parents: 16620 diff changeset	737 </item>
16701 ccfbc767ff5a make case sensitivity of editors auto completion list configurable Torsten <ttl@justmail.de> parents: 16700 diff changeset	738 <item row="0" column="0">
ccfbc767ff5a make case sensitivity of editors auto completion list configurable Torsten <ttl@justmail.de> parents: 16700 diff changeset	739 <widget class="QCheckBox" name="editor_checkbox_ac_keywords">
ccfbc767ff5a make case sensitivity of editors auto completion list configurable Torsten <ttl@justmail.de> parents: 16700 diff changeset	740 <property name="enabled">
ccfbc767ff5a make case sensitivity of editors auto completion list configurable Torsten <ttl@justmail.de> parents: 16700 diff changeset	741 <bool>false</bool>
ccfbc767ff5a make case sensitivity of editors auto completion list configurable Torsten <ttl@justmail.de> parents: 16700 diff changeset	742 </property>
ccfbc767ff5a make case sensitivity of editors auto completion list configurable Torsten <ttl@justmail.de> parents: 16700 diff changeset	743 <property name="text">
ccfbc767ff5a make case sensitivity of editors auto completion list configurable Torsten <ttl@justmail.de> parents: 16700 diff changeset	744 <string>Match keywords</string>
ccfbc767ff5a make case sensitivity of editors auto completion list configurable Torsten <ttl@justmail.de> parents: 16700 diff changeset	745 </property>
ccfbc767ff5a make case sensitivity of editors auto completion list configurable Torsten <ttl@justmail.de> parents: 16700 diff changeset	746 <property name="checked">
ccfbc767ff5a make case sensitivity of editors auto completion list configurable Torsten <ttl@justmail.de> parents: 16700 diff changeset	747 <bool>true</bool>
ccfbc767ff5a make case sensitivity of editors auto completion list configurable Torsten <ttl@justmail.de> parents: 16700 diff changeset	748 </property>
ccfbc767ff5a make case sensitivity of editors auto completion list configurable Torsten <ttl@justmail.de> parents: 16700 diff changeset	749 </widget>
ccfbc767ff5a make case sensitivity of editors auto completion list configurable Torsten <ttl@justmail.de> parents: 16700 diff changeset	750 </item>
ccfbc767ff5a make case sensitivity of editors auto completion list configurable Torsten <ttl@justmail.de> parents: 16700 diff changeset	751 <item row="1" column="0">
ccfbc767ff5a make case sensitivity of editors auto completion list configurable Torsten <ttl@justmail.de> parents: 16700 diff changeset	752 <widget class="QCheckBox" name="editor_checkbox_ac_case">
ccfbc767ff5a make case sensitivity of editors auto completion list configurable Torsten <ttl@justmail.de> parents: 16700 diff changeset	753 <property name="enabled">
ccfbc767ff5a make case sensitivity of editors auto completion list configurable Torsten <ttl@justmail.de> parents: 16700 diff changeset	754 <bool>false</bool>
ccfbc767ff5a make case sensitivity of editors auto completion list configurable Torsten <ttl@justmail.de> parents: 16700 diff changeset	755 </property>
ccfbc767ff5a make case sensitivity of editors auto completion list configurable Torsten <ttl@justmail.de> parents: 16700 diff changeset	756 <property name="text">
ccfbc767ff5a make case sensitivity of editors auto completion list configurable Torsten <ttl@justmail.de> parents: 16700 diff changeset	757 <string>Case sensitive</string>
ccfbc767ff5a make case sensitivity of editors auto completion list configurable Torsten <ttl@justmail.de> parents: 16700 diff changeset	758 </property>
ccfbc767ff5a make case sensitivity of editors auto completion list configurable Torsten <ttl@justmail.de> parents: 16700 diff changeset	759 <property name="checked">
ccfbc767ff5a make case sensitivity of editors auto completion list configurable Torsten <ttl@justmail.de> parents: 16700 diff changeset	760 <bool>true</bool>
ccfbc767ff5a make case sensitivity of editors auto completion list configurable Torsten <ttl@justmail.de> parents: 16700 diff changeset	761 </property>
ccfbc767ff5a make case sensitivity of editors auto completion list configurable Torsten <ttl@justmail.de> parents: 16700 diff changeset	762 </widget>
ccfbc767ff5a make case sensitivity of editors auto completion list configurable Torsten <ttl@justmail.de> parents: 16700 diff changeset	763 </item>
16738 33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	764 <item row="1" column="2">
16701 ccfbc767ff5a make case sensitivity of editors auto completion list configurable Torsten <ttl@justmail.de> parents: 16700 diff changeset	765 <widget class="QCheckBox" name="editor_checkbox_ac_replace">
ccfbc767ff5a make case sensitivity of editors auto completion list configurable Torsten <ttl@justmail.de> parents: 16700 diff changeset	766 <property name="enabled">
ccfbc767ff5a make case sensitivity of editors auto completion list configurable Torsten <ttl@justmail.de> parents: 16700 diff changeset	767 <bool>false</bool>
ccfbc767ff5a make case sensitivity of editors auto completion list configurable Torsten <ttl@justmail.de> parents: 16700 diff changeset	768 </property>
ccfbc767ff5a make case sensitivity of editors auto completion list configurable Torsten <ttl@justmail.de> parents: 16700 diff changeset	769 <property name="text">
ccfbc767ff5a make case sensitivity of editors auto completion list configurable Torsten <ttl@justmail.de> parents: 16700 diff changeset	770 <string>Replace word by suggested one</string>
ccfbc767ff5a make case sensitivity of editors auto completion list configurable Torsten <ttl@justmail.de> parents: 16700 diff changeset	771 </property>
ccfbc767ff5a make case sensitivity of editors auto completion list configurable Torsten <ttl@justmail.de> parents: 16700 diff changeset	772 </widget>
ccfbc767ff5a make case sensitivity of editors auto completion list configurable Torsten <ttl@justmail.de> parents: 16700 diff changeset	773 </item>
16738 33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	774 <item row="0" column="3">
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	775 <spacer name="horizontalSpacer_8">
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	776 <property name="orientation">
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	777 <enum>Qt::Horizontal</enum>
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	778 </property>
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	779 <property name="sizeHint" stdset="0">
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	780 <size>
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	781 <width>40</width>
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	782 <height>20</height>
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	783 </size>
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	784 </property>
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	785 </spacer>
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	786 </item>
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	787 <item row="0" column="2">
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	788 <widget class="QCheckBox" name="editor_checkbox_ac_document">
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	789 <property name="enabled">
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	790 <bool>false</bool>
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	791 </property>
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	792 <property name="text">
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	793 <string>Match words in document</string>
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	794 </property>
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	795 </widget>
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	796 </item>
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	797 <item row="1" column="3">
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	798 <spacer name="horizontalSpacer_19">
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	799 <property name="orientation">
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	800 <enum>Qt::Horizontal</enum>
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	801 </property>
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	802 <property name="sizeHint" stdset="0">
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	803 <size>
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	804 <width>40</width>
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	805 <height>20</height>
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	806 </size>
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	807 </property>
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	808 </spacer>
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	809 </item>
16679 cf939872811c options for auto completion threshold, source and word replacement in settings Torsten <ttl@justmail.de> parents: 16620 diff changeset	810 </layout>
cf939872811c options for auto completion threshold, source and word replacement in settings Torsten <ttl@justmail.de> parents: 16620 diff changeset	811 </item>
16738 33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	812 <item row="0" column="1">
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	813 <spacer name="horizontalSpacer_7">
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	814 <property name="orientation">
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	815 <enum>Qt::Horizontal</enum>
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	816 </property>
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	817 <property name="sizeType">
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	818 <enum>QSizePolicy::Fixed</enum>
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	819 </property>
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	820 <property name="sizeHint" stdset="0">
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	821 <size>
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	822 <width>10</width>
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	823 <height>0</height>
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	824 </size>
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	825 </property>
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	826 </spacer>
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	827 </item>
16679 cf939872811c options for auto completion threshold, source and word replacement in settings Torsten <ttl@justmail.de> parents: 16620 diff changeset	828 </layout>
cf939872811c options for auto completion threshold, source and word replacement in settings Torsten <ttl@justmail.de> parents: 16620 diff changeset	829 </item>
16703 5cf19370011d add more settings concerning tabs and indentation to the editor settings Torsten <ttl@justmail.de> parents: 16702 diff changeset	830 <item>
5cf19370011d add more settings concerning tabs and indentation to the editor settings Torsten <ttl@justmail.de> parents: 16702 diff changeset	831 <widget class="Line" name="line_3">
5cf19370011d add more settings concerning tabs and indentation to the editor settings Torsten <ttl@justmail.de> parents: 16702 diff changeset	832 <property name="orientation">
5cf19370011d add more settings concerning tabs and indentation to the editor settings Torsten <ttl@justmail.de> parents: 16702 diff changeset	833 <enum>Qt::Horizontal</enum>
5cf19370011d add more settings concerning tabs and indentation to the editor settings Torsten <ttl@justmail.de> parents: 16702 diff changeset	834 </property>
5cf19370011d add more settings concerning tabs and indentation to the editor settings Torsten <ttl@justmail.de> parents: 16702 diff changeset	835 </widget>
5cf19370011d add more settings concerning tabs and indentation to the editor settings Torsten <ttl@justmail.de> parents: 16702 diff changeset	836 </item>
5cf19370011d add more settings concerning tabs and indentation to the editor settings Torsten <ttl@justmail.de> parents: 16702 diff changeset	837 <item>
16738 33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	838 <layout class="QVBoxLayout" name="verticalLayout_11">
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	839 <property name="topMargin">
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	840 <number>0</number>
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	841 </property>
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	842 <property name="bottomMargin">
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	843 <number>0</number>
16703 5cf19370011d add more settings concerning tabs and indentation to the editor settings Torsten <ttl@justmail.de> parents: 16702 diff changeset	844 </property>
16738 33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	845 <item>
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	846 <widget class="QCheckBox" name="editor_restoreSession">
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	847 <property name="sizePolicy">
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	848 <sizepolicy hsizetype="Minimum" vsizetype="Fixed">
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	849 <horstretch>0</horstretch>
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	850 <verstretch>0</verstretch>
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	851 </sizepolicy>
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	852 </property>
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	853 <property name="text">
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	854 <string>Restore editor tabs from previous session on startup</string>
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	855 </property>
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	856 </widget>
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	857 </item>
17740 e6ed77b75aec new preference in settings: editor creates nonexisting files wihtout prompt Torsten <ttl@justmail.de> parents: 17676 diff changeset	858 <item>
e6ed77b75aec new preference in settings: editor creates nonexisting files wihtout prompt Torsten <ttl@justmail.de> parents: 17676 diff changeset	859 <widget class="QCheckBox" name="editor_create_new file">
e6ed77b75aec new preference in settings: editor creates nonexisting files wihtout prompt Torsten <ttl@justmail.de> parents: 17676 diff changeset	860 <property name="sizePolicy">
e6ed77b75aec new preference in settings: editor creates nonexisting files wihtout prompt Torsten <ttl@justmail.de> parents: 17676 diff changeset	861 <sizepolicy hsizetype="Minimum" vsizetype="Fixed">
e6ed77b75aec new preference in settings: editor creates nonexisting files wihtout prompt Torsten <ttl@justmail.de> parents: 17676 diff changeset	862 <horstretch>0</horstretch>
e6ed77b75aec new preference in settings: editor creates nonexisting files wihtout prompt Torsten <ttl@justmail.de> parents: 17676 diff changeset	863 <verstretch>0</verstretch>
e6ed77b75aec new preference in settings: editor creates nonexisting files wihtout prompt Torsten <ttl@justmail.de> parents: 17676 diff changeset	864 </sizepolicy>
e6ed77b75aec new preference in settings: editor creates nonexisting files wihtout prompt Torsten <ttl@justmail.de> parents: 17676 diff changeset	865 </property>
e6ed77b75aec new preference in settings: editor creates nonexisting files wihtout prompt Torsten <ttl@justmail.de> parents: 17676 diff changeset	866 <property name="text">
17935 752f6b358754 Tweak GUI strings for conformity. Rik <rik@octave.org> parents: 17740 diff changeset	867 <string>Create nonexistent files without prompting</string>
17740 e6ed77b75aec new preference in settings: editor creates nonexisting files wihtout prompt Torsten <ttl@justmail.de> parents: 17676 diff changeset	868 </property>
e6ed77b75aec new preference in settings: editor creates nonexisting files wihtout prompt Torsten <ttl@justmail.de> parents: 17676 diff changeset	869 </widget>
e6ed77b75aec new preference in settings: editor creates nonexisting files wihtout prompt Torsten <ttl@justmail.de> parents: 17676 diff changeset	870 </item>
16738 33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	871 </layout>
16703 5cf19370011d add more settings concerning tabs and indentation to the editor settings Torsten <ttl@justmail.de> parents: 16702 diff changeset	872 </item>
13659 d98c6ef06dff included some editor setting into the setting dialog ttl <ttl@justmail.de> parents: 13609 diff changeset	873 </layout>
d98c6ef06dff included some editor setting into the setting dialog ttl <ttl@justmail.de> parents: 13609 diff changeset	874 </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	875 <item>
16703 5cf19370011d add more settings concerning tabs and indentation to the editor settings Torsten <ttl@justmail.de> parents: 16702 diff changeset	876 <widget class="Line" name="line_4">
5cf19370011d add more settings concerning tabs and indentation to the editor settings Torsten <ttl@justmail.de> parents: 16702 diff changeset	877 <property name="orientation">
5cf19370011d add more settings concerning tabs and indentation to the editor settings Torsten <ttl@justmail.de> parents: 16702 diff changeset	878 <enum>Qt::Horizontal</enum>
5cf19370011d add more settings concerning tabs and indentation to the editor settings Torsten <ttl@justmail.de> parents: 16702 diff changeset	879 </property>
5cf19370011d add more settings concerning tabs and indentation to the editor settings Torsten <ttl@justmail.de> parents: 16702 diff changeset	880 </widget>
5cf19370011d add more settings concerning tabs and indentation to the editor settings Torsten <ttl@justmail.de> parents: 16702 diff changeset	881 </item>
5cf19370011d add more settings concerning tabs and indentation to the editor settings Torsten <ttl@justmail.de> parents: 16702 diff changeset	882 <item>
14599 97cb9286919c Cleaned up code. Jacob Dawid <jacob.dawid@googlemail.com> parents: 14588 diff changeset	883 <spacer name="verticalSpacer">
97cb9286919c Cleaned up code. Jacob Dawid <jacob.dawid@googlemail.com> parents: 14588 diff changeset	884 <property name="orientation">
97cb9286919c Cleaned up code. Jacob Dawid <jacob.dawid@googlemail.com> parents: 14588 diff changeset	885 <enum>Qt::Vertical</enum>
97cb9286919c Cleaned up code. Jacob Dawid <jacob.dawid@googlemail.com> parents: 14588 diff changeset	886 </property>
16693 e9d0b8252a0a make color of current line marker in the editor configurable Torsten <ttl@justmail.de> parents: 16679 diff changeset	887 <property name="sizeType">
e9d0b8252a0a make color of current line marker in the editor configurable Torsten <ttl@justmail.de> parents: 16679 diff changeset	888 <enum>QSizePolicy::Expanding</enum>
e9d0b8252a0a make color of current line marker in the editor configurable Torsten <ttl@justmail.de> parents: 16679 diff changeset	889 </property>
14599 97cb9286919c Cleaned up code. Jacob Dawid <jacob.dawid@googlemail.com> parents: 14588 diff changeset	890 <property name="sizeHint" stdset="0">
97cb9286919c Cleaned up code. Jacob Dawid <jacob.dawid@googlemail.com> parents: 14588 diff changeset	891 <size>
97cb9286919c Cleaned up code. Jacob Dawid <jacob.dawid@googlemail.com> parents: 14588 diff changeset	892 <width>20</width>
97cb9286919c Cleaned up code. Jacob Dawid <jacob.dawid@googlemail.com> parents: 14588 diff changeset	893 <height>40</height>
97cb9286919c Cleaned up code. Jacob Dawid <jacob.dawid@googlemail.com> parents: 14588 diff changeset	894 </size>
97cb9286919c Cleaned up code. Jacob Dawid <jacob.dawid@googlemail.com> parents: 14588 diff changeset	895 </property>
97cb9286919c Cleaned up code. Jacob Dawid <jacob.dawid@googlemail.com> parents: 14588 diff changeset	896 </spacer>
97cb9286919c Cleaned up code. Jacob Dawid <jacob.dawid@googlemail.com> parents: 14588 diff changeset	897 </item>
97cb9286919c Cleaned up code. Jacob Dawid <jacob.dawid@googlemail.com> parents: 14588 diff changeset	898 <item>
16738 33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	899 <layout class="QVBoxLayout" name="verticalLayout_10">
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	900 <property name="topMargin">
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	901 <number>0</number>
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	902 </property>
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	903 <property name="bottomMargin">
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	904 <number>0</number>
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	905 </property>
16702 553cfdd5d660 make white space visibility in the editor configurable Torsten <ttl@justmail.de> parents: 16701 diff changeset	906 <item>
16738 33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	907 <layout class="QHBoxLayout" name="horizontalLayout">
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	908 <item>
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	909 <widget class="QCheckBox" name="useCustomFileEditor">
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	910 <property name="enabled">
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	911 <bool>true</bool>
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	912 </property>
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	913 <property name="text">
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	914 <string>Use custom file editor</string>
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	915 </property>
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	916 </widget>
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	917 </item>
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	918 <item>
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	919 <widget class="QLabel" name="customEditorLabel">
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	920 <property name="enabled">
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	921 <bool>false</bool>
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	922 </property>
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	923 <property name="text">
17935 752f6b358754 Tweak GUI strings for conformity. Rik <rik@octave.org> parents: 17740 diff changeset	924 <string>command line (%f=file, %l=line):</string>
16738 33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	925 </property>
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	926 </widget>
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	927 </item>
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	928 <item>
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	929 <widget class="QLineEdit" name="customFileEditor">
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	930 <property name="enabled">
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	931 <bool>false</bool>
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	932 </property>
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	933 <property name="text">
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	934 <string>emacs</string>
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	935 </property>
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	936 </widget>
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	937 </item>
33ab01a26b80 fix dialog for editor settings for better view in MacOS X (thanks to Ben) Torsten <ttl@justmail.de> parents: 16703 diff changeset	938 </layout>
14599 97cb9286919c Cleaned up code. Jacob Dawid <jacob.dawid@googlemail.com> parents: 14588 diff changeset	939 </item>
97cb9286919c Cleaned up code. Jacob Dawid <jacob.dawid@googlemail.com> parents: 14588 diff changeset	940 </layout>
97cb9286919c Cleaned up code. Jacob Dawid <jacob.dawid@googlemail.com> parents: 14588 diff changeset	941 </item>
97cb9286919c Cleaned up code. Jacob Dawid <jacob.dawid@googlemail.com> parents: 14588 diff changeset	942 </layout>
97cb9286919c Cleaned up code. Jacob Dawid <jacob.dawid@googlemail.com> parents: 14588 diff changeset	943 </widget>
17676 c060ad097056 add menu entries to the editor for directly accessing the editor's settings Torsten <ttl@justmail.de> parents: 16865 diff changeset	944 <widget class="QWidget" name="tab_editor_styles">
16402 7fa90eb41240 gui: individually configurable styles of the editor lexers Torsten <ttl@justmail.de> parents: 15972 diff changeset	945 <attribute name="title">
7fa90eb41240 gui: individually configurable styles of the editor lexers Torsten <ttl@justmail.de> parents: 15972 diff changeset	946 <string>Editor Styles</string>
7fa90eb41240 gui: individually configurable styles of the editor lexers Torsten <ttl@justmail.de> parents: 15972 diff changeset	947 </attribute>
16700 cd7d08b8c928 make background colors of editor files configurable Torsten <ttl@justmail.de> parents: 16693 diff changeset	948 <widget class="QWidget" name="verticalLayoutWidget_4">
16402 7fa90eb41240 gui: individually configurable styles of the editor lexers Torsten <ttl@justmail.de> parents: 15972 diff changeset	949 <property name="geometry">
7fa90eb41240 gui: individually configurable styles of the editor lexers Torsten <ttl@justmail.de> parents: 15972 diff changeset	950 <rect>
16700 cd7d08b8c928 make background colors of editor files configurable Torsten <ttl@justmail.de> parents: 16693 diff changeset	951 <x>0</x>
cd7d08b8c928 make background colors of editor files configurable Torsten <ttl@justmail.de> parents: 16693 diff changeset	952 <y>0</y>
16744 169ea45f260f Prevent the "Editor Styles" from extending beyond the right edge of the dialog. Ben Abbott <bpabbott@mac.com> parents: 16743 diff changeset	953 <width>651</width>
16700 cd7d08b8c928 make background colors of editor files configurable Torsten <ttl@justmail.de> parents: 16693 diff changeset	954 <height>401</height>
16402 7fa90eb41240 gui: individually configurable styles of the editor lexers Torsten <ttl@justmail.de> parents: 15972 diff changeset	955 </rect>
7fa90eb41240 gui: individually configurable styles of the editor lexers Torsten <ttl@justmail.de> parents: 15972 diff changeset	956 </property>
16700 cd7d08b8c928 make background colors of editor files configurable Torsten <ttl@justmail.de> parents: 16693 diff changeset	957 <layout class="QVBoxLayout" name="verticalLayout_5">
cd7d08b8c928 make background colors of editor files configurable Torsten <ttl@justmail.de> parents: 16693 diff changeset	958 <item>
cd7d08b8c928 make background colors of editor files configurable Torsten <ttl@justmail.de> parents: 16693 diff changeset	959 <widget class="QLabel" name="label_10">
cd7d08b8c928 make background colors of editor files configurable Torsten <ttl@justmail.de> parents: 16693 diff changeset	960 <property name="maximumSize">
cd7d08b8c928 make background colors of editor files configurable Torsten <ttl@justmail.de> parents: 16693 diff changeset	961 <size>
cd7d08b8c928 make background colors of editor files configurable Torsten <ttl@justmail.de> parents: 16693 diff changeset	962 <width>676</width>
cd7d08b8c928 make background colors of editor files configurable Torsten <ttl@justmail.de> parents: 16693 diff changeset	963 <height>16777215</height>
cd7d08b8c928 make background colors of editor files configurable Torsten <ttl@justmail.de> parents: 16693 diff changeset	964 </size>
cd7d08b8c928 make background colors of editor files configurable Torsten <ttl@justmail.de> parents: 16693 diff changeset	965 </property>
cd7d08b8c928 make background colors of editor files configurable Torsten <ttl@justmail.de> parents: 16693 diff changeset	966 <property name="frameShape">
cd7d08b8c928 make background colors of editor files configurable Torsten <ttl@justmail.de> parents: 16693 diff changeset	967 <enum>QFrame::NoFrame</enum>
cd7d08b8c928 make background colors of editor files configurable Torsten <ttl@justmail.de> parents: 16693 diff changeset	968 </property>
cd7d08b8c928 make background colors of editor files configurable Torsten <ttl@justmail.de> parents: 16693 diff changeset	969 <property name="text">
18256 cae24b7cfaf4 minor fix of text strings and related translations (part of bug #41201) Torsten <ttl@justmail.de> parents: 17942 diff changeset	970 <string><html><head/><body><p>Select font, font size (as a difference from the default size), font style (<b>b</b>old, <b>i</b>talic, <b>u</b>nderline), text color and background color (for the latter, the color pink (255,0,255) is a placeholder for the default background color).</p></body></html></string>
16700 cd7d08b8c928 make background colors of editor files configurable Torsten <ttl@justmail.de> parents: 16693 diff changeset	971 </property>
cd7d08b8c928 make background colors of editor files configurable Torsten <ttl@justmail.de> parents: 16693 diff changeset	972 <property name="scaledContents">
cd7d08b8c928 make background colors of editor files configurable Torsten <ttl@justmail.de> parents: 16693 diff changeset	973 <bool>false</bool>
cd7d08b8c928 make background colors of editor files configurable Torsten <ttl@justmail.de> parents: 16693 diff changeset	974 </property>
cd7d08b8c928 make background colors of editor files configurable Torsten <ttl@justmail.de> parents: 16693 diff changeset	975 <property name="alignment">
cd7d08b8c928 make background colors of editor files configurable Torsten <ttl@justmail.de> parents: 16693 diff changeset	976 <set>Qt::AlignLeading\|Qt::AlignLeft\|Qt::AlignVCenter</set>
cd7d08b8c928 make background colors of editor files configurable Torsten <ttl@justmail.de> parents: 16693 diff changeset	977 </property>
cd7d08b8c928 make background colors of editor files configurable Torsten <ttl@justmail.de> parents: 16693 diff changeset	978 <property name="wordWrap">
cd7d08b8c928 make background colors of editor files configurable Torsten <ttl@justmail.de> parents: 16693 diff changeset	979 <bool>true</bool>
cd7d08b8c928 make background colors of editor files configurable Torsten <ttl@justmail.de> parents: 16693 diff changeset	980 </property>
cd7d08b8c928 make background colors of editor files configurable Torsten <ttl@justmail.de> parents: 16693 diff changeset	981 <property name="margin">
cd7d08b8c928 make background colors of editor files configurable Torsten <ttl@justmail.de> parents: 16693 diff changeset	982 <number>4</number>
cd7d08b8c928 make background colors of editor files configurable Torsten <ttl@justmail.de> parents: 16693 diff changeset	983 </property>
cd7d08b8c928 make background colors of editor files configurable Torsten <ttl@justmail.de> parents: 16693 diff changeset	984 </widget>
cd7d08b8c928 make background colors of editor files configurable Torsten <ttl@justmail.de> parents: 16693 diff changeset	985 </item>
cd7d08b8c928 make background colors of editor files configurable Torsten <ttl@justmail.de> parents: 16693 diff changeset	986 <item>
17676 c060ad097056 add menu entries to the editor for directly accessing the editor's settings Torsten <ttl@justmail.de> parents: 16865 diff changeset	987 <widget class="QTabWidget" name="tabs_editor_lexers">
16700 cd7d08b8c928 make background colors of editor files configurable Torsten <ttl@justmail.de> parents: 16693 diff changeset	988 <property name="maximumSize">
cd7d08b8c928 make background colors of editor files configurable Torsten <ttl@justmail.de> parents: 16693 diff changeset	989 <size>
cd7d08b8c928 make background colors of editor files configurable Torsten <ttl@justmail.de> parents: 16693 diff changeset	990 <width>676</width>
cd7d08b8c928 make background colors of editor files configurable Torsten <ttl@justmail.de> parents: 16693 diff changeset	991 <height>351</height>
cd7d08b8c928 make background colors of editor files configurable Torsten <ttl@justmail.de> parents: 16693 diff changeset	992 </size>
cd7d08b8c928 make background colors of editor files configurable Torsten <ttl@justmail.de> parents: 16693 diff changeset	993 </property>
cd7d08b8c928 make background colors of editor files configurable Torsten <ttl@justmail.de> parents: 16693 diff changeset	994 </widget>
cd7d08b8c928 make background colors of editor files configurable Torsten <ttl@justmail.de> parents: 16693 diff changeset	995 </item>
cd7d08b8c928 make background colors of editor files configurable Torsten <ttl@justmail.de> parents: 16693 diff changeset	996 </layout>
16402 7fa90eb41240 gui: individually configurable styles of the editor lexers Torsten <ttl@justmail.de> parents: 15972 diff changeset	997 </widget>
7fa90eb41240 gui: individually configurable styles of the editor lexers Torsten <ttl@justmail.de> parents: 15972 diff changeset	998 </widget>
17676 c060ad097056 add menu entries to the editor for directly accessing the editor's settings Torsten <ttl@justmail.de> parents: 16865 diff changeset	999 <widget class="QWidget" name="tab_terminal">
14599 97cb9286919c Cleaned up code. Jacob Dawid <jacob.dawid@googlemail.com> parents: 14588 diff changeset	1000 <attribute name="title">
97cb9286919c Cleaned up code. Jacob Dawid <jacob.dawid@googlemail.com> parents: 14588 diff changeset	1001 <string>Terminal</string>
97cb9286919c Cleaned up code. Jacob Dawid <jacob.dawid@googlemail.com> parents: 14588 diff changeset	1002 </attribute>
16747 9d0739413904 Reduce the spacing for the "Terminal Colors" under Terminal tab. Ben Abbott <bpabbott@mac.com> parents: 16746 diff changeset	1003 <widget class="QWidget" name="verticalLayoutWidget_3">
16620 818eef7b2618 allow terminal colors to be set from preferences dialog John W. Eaton <jwe@octave.org> parents: 16610 diff changeset	1004 <property name="geometry">
818eef7b2618 allow terminal colors to be set from preferences dialog John W. Eaton <jwe@octave.org> parents: 16610 diff changeset	1005 <rect>
818eef7b2618 allow terminal colors to be set from preferences dialog John W. Eaton <jwe@octave.org> parents: 16610 diff changeset	1006 <x>10</x>
18155 14acb08d75fa gui: optionally set focus to console when a command is run from another widget Torsten <ttl@justmail.de> parents: 17942 diff changeset	1007 <y>10</y>
16620 818eef7b2618 allow terminal colors to be set from preferences dialog John W. Eaton <jwe@octave.org> parents: 16610 diff changeset	1008 <width>631</width>
18155 14acb08d75fa gui: optionally set focus to console when a command is run from another widget Torsten <ttl@justmail.de> parents: 17942 diff changeset	1009 <height>371</height>
16620 818eef7b2618 allow terminal colors to be set from preferences dialog John W. Eaton <jwe@octave.org> parents: 16610 diff changeset	1010 </rect>
818eef7b2618 allow terminal colors to be set from preferences dialog John W. Eaton <jwe@octave.org> parents: 16610 diff changeset	1011 </property>
16747 9d0739413904 Reduce the spacing for the "Terminal Colors" under Terminal tab. Ben Abbott <bpabbott@mac.com> parents: 16746 diff changeset	1012 <layout class="QVBoxLayout" name="verticalLayout_8">
9d0739413904 Reduce the spacing for the "Terminal Colors" under Terminal tab. Ben Abbott <bpabbott@mac.com> parents: 16746 diff changeset	1013 <item>
18155 14acb08d75fa gui: optionally set focus to console when a command is run from another widget Torsten <ttl@justmail.de> parents: 17942 diff changeset	1014 <layout class="QHBoxLayout" name="horizontalLayout_5">
14acb08d75fa gui: optionally set focus to console when a command is run from another widget Torsten <ttl@justmail.de> parents: 17942 diff changeset	1015 <item>
14acb08d75fa gui: optionally set focus to console when a command is run from another widget Torsten <ttl@justmail.de> parents: 17942 diff changeset	1016 <widget class="QLabel" name="label_11">
14acb08d75fa gui: optionally set focus to console when a command is run from another widget Torsten <ttl@justmail.de> parents: 17942 diff changeset	1017 <property name="text">
14acb08d75fa gui: optionally set focus to console when a command is run from another widget Torsten <ttl@justmail.de> parents: 17942 diff changeset	1018 <string>Font</string>
14acb08d75fa gui: optionally set focus to console when a command is run from another widget Torsten <ttl@justmail.de> parents: 17942 diff changeset	1019 </property>
14acb08d75fa gui: optionally set focus to console when a command is run from another widget Torsten <ttl@justmail.de> parents: 17942 diff changeset	1020 </widget>
14acb08d75fa gui: optionally set focus to console when a command is run from another widget Torsten <ttl@justmail.de> parents: 17942 diff changeset	1021 </item>
14acb08d75fa gui: optionally set focus to console when a command is run from another widget Torsten <ttl@justmail.de> parents: 17942 diff changeset	1022 <item>
14acb08d75fa gui: optionally set focus to console when a command is run from another widget Torsten <ttl@justmail.de> parents: 17942 diff changeset	1023 <widget class="QFontComboBox" name="terminal_fontName">
14acb08d75fa gui: optionally set focus to console when a command is run from another widget Torsten <ttl@justmail.de> parents: 17942 diff changeset	1024 <property name="editable">
14acb08d75fa gui: optionally set focus to console when a command is run from another widget Torsten <ttl@justmail.de> parents: 17942 diff changeset	1025 <bool>false</bool>
14acb08d75fa gui: optionally set focus to console when a command is run from another widget Torsten <ttl@justmail.de> parents: 17942 diff changeset	1026 </property>
14acb08d75fa gui: optionally set focus to console when a command is run from another widget Torsten <ttl@justmail.de> parents: 17942 diff changeset	1027 <property name="fontFilters">
14acb08d75fa gui: optionally set focus to console when a command is run from another widget Torsten <ttl@justmail.de> parents: 17942 diff changeset	1028 <set>QFontComboBox::MonospacedFonts</set>
14acb08d75fa gui: optionally set focus to console when a command is run from another widget Torsten <ttl@justmail.de> parents: 17942 diff changeset	1029 </property>
14acb08d75fa gui: optionally set focus to console when a command is run from another widget Torsten <ttl@justmail.de> parents: 17942 diff changeset	1030 </widget>
14acb08d75fa gui: optionally set focus to console when a command is run from another widget Torsten <ttl@justmail.de> parents: 17942 diff changeset	1031 </item>
14acb08d75fa gui: optionally set focus to console when a command is run from another widget Torsten <ttl@justmail.de> parents: 17942 diff changeset	1032 <item>
14acb08d75fa gui: optionally set focus to console when a command is run from another widget Torsten <ttl@justmail.de> parents: 17942 diff changeset	1033 <widget class="QLabel" name="label_12">
14acb08d75fa gui: optionally set focus to console when a command is run from another widget Torsten <ttl@justmail.de> parents: 17942 diff changeset	1034 <property name="text">
14acb08d75fa gui: optionally set focus to console when a command is run from another widget Torsten <ttl@justmail.de> parents: 17942 diff changeset	1035 <string>Font size</string>
14acb08d75fa gui: optionally set focus to console when a command is run from another widget Torsten <ttl@justmail.de> parents: 17942 diff changeset	1036 </property>
14acb08d75fa gui: optionally set focus to console when a command is run from another widget Torsten <ttl@justmail.de> parents: 17942 diff changeset	1037 </widget>
14acb08d75fa gui: optionally set focus to console when a command is run from another widget Torsten <ttl@justmail.de> parents: 17942 diff changeset	1038 </item>
14acb08d75fa gui: optionally set focus to console when a command is run from another widget Torsten <ttl@justmail.de> parents: 17942 diff changeset	1039 <item>
14acb08d75fa gui: optionally set focus to console when a command is run from another widget Torsten <ttl@justmail.de> parents: 17942 diff changeset	1040 <widget class="QSpinBox" name="terminal_fontSize">
14acb08d75fa gui: optionally set focus to console when a command is run from another widget Torsten <ttl@justmail.de> parents: 17942 diff changeset	1041 <property name="minimum">
14acb08d75fa gui: optionally set focus to console when a command is run from another widget Torsten <ttl@justmail.de> parents: 17942 diff changeset	1042 <number>2</number>
14acb08d75fa gui: optionally set focus to console when a command is run from another widget Torsten <ttl@justmail.de> parents: 17942 diff changeset	1043 </property>
14acb08d75fa gui: optionally set focus to console when a command is run from another widget Torsten <ttl@justmail.de> parents: 17942 diff changeset	1044 <property name="maximum">
14acb08d75fa gui: optionally set focus to console when a command is run from another widget Torsten <ttl@justmail.de> parents: 17942 diff changeset	1045 <number>96</number>
14acb08d75fa gui: optionally set focus to console when a command is run from another widget Torsten <ttl@justmail.de> parents: 17942 diff changeset	1046 </property>
14acb08d75fa gui: optionally set focus to console when a command is run from another widget Torsten <ttl@justmail.de> parents: 17942 diff changeset	1047 <property name="value">
14acb08d75fa gui: optionally set focus to console when a command is run from another widget Torsten <ttl@justmail.de> parents: 17942 diff changeset	1048 <number>10</number>
14acb08d75fa gui: optionally set focus to console when a command is run from another widget Torsten <ttl@justmail.de> parents: 17942 diff changeset	1049 </property>
14acb08d75fa gui: optionally set focus to console when a command is run from another widget Torsten <ttl@justmail.de> parents: 17942 diff changeset	1050 </widget>
14acb08d75fa gui: optionally set focus to console when a command is run from another widget Torsten <ttl@justmail.de> parents: 17942 diff changeset	1051 </item>
14acb08d75fa gui: optionally set focus to console when a command is run from another widget Torsten <ttl@justmail.de> parents: 17942 diff changeset	1052 <item>
14acb08d75fa gui: optionally set focus to console when a command is run from another widget Torsten <ttl@justmail.de> parents: 17942 diff changeset	1053 <spacer name="horizontalSpacer_5">
14acb08d75fa gui: optionally set focus to console when a command is run from another widget Torsten <ttl@justmail.de> parents: 17942 diff changeset	1054 <property name="orientation">
14acb08d75fa gui: optionally set focus to console when a command is run from another widget Torsten <ttl@justmail.de> parents: 17942 diff changeset	1055 <enum>Qt::Horizontal</enum>
14acb08d75fa gui: optionally set focus to console when a command is run from another widget Torsten <ttl@justmail.de> parents: 17942 diff changeset	1056 </property>
14acb08d75fa gui: optionally set focus to console when a command is run from another widget Torsten <ttl@justmail.de> parents: 17942 diff changeset	1057 <property name="sizeHint" stdset="0">
14acb08d75fa gui: optionally set focus to console when a command is run from another widget Torsten <ttl@justmail.de> parents: 17942 diff changeset	1058 <size>
14acb08d75fa gui: optionally set focus to console when a command is run from another widget Torsten <ttl@justmail.de> parents: 17942 diff changeset	1059 <width>40</width>
14acb08d75fa gui: optionally set focus to console when a command is run from another widget Torsten <ttl@justmail.de> parents: 17942 diff changeset	1060 <height>20</height>
14acb08d75fa gui: optionally set focus to console when a command is run from another widget Torsten <ttl@justmail.de> parents: 17942 diff changeset	1061 </size>
14acb08d75fa gui: optionally set focus to console when a command is run from another widget Torsten <ttl@justmail.de> parents: 17942 diff changeset	1062 </property>
14acb08d75fa gui: optionally set focus to console when a command is run from another widget Torsten <ttl@justmail.de> parents: 17942 diff changeset	1063 </spacer>
14acb08d75fa gui: optionally set focus to console when a command is run from another widget Torsten <ttl@justmail.de> parents: 17942 diff changeset	1064 </item>
14acb08d75fa gui: optionally set focus to console when a command is run from another widget Torsten <ttl@justmail.de> parents: 17942 diff changeset	1065 </layout>
14acb08d75fa gui: optionally set focus to console when a command is run from another widget Torsten <ttl@justmail.de> parents: 17942 diff changeset	1066 </item>
14acb08d75fa gui: optionally set focus to console when a command is run from another widget Torsten <ttl@justmail.de> parents: 17942 diff changeset	1067 <item>
14acb08d75fa gui: optionally set focus to console when a command is run from another widget Torsten <ttl@justmail.de> parents: 17942 diff changeset	1068 <layout class="QHBoxLayout" name="horizontalLayout_3">
14acb08d75fa gui: optionally set focus to console when a command is run from another widget Torsten <ttl@justmail.de> parents: 17942 diff changeset	1069 <item>
14acb08d75fa gui: optionally set focus to console when a command is run from another widget Torsten <ttl@justmail.de> parents: 17942 diff changeset	1070 <widget class="QLabel" name="label">
14acb08d75fa gui: optionally set focus to console when a command is run from another widget Torsten <ttl@justmail.de> parents: 17942 diff changeset	1071 <property name="text">
14acb08d75fa gui: optionally set focus to console when a command is run from another widget Torsten <ttl@justmail.de> parents: 17942 diff changeset	1072 <string>Cursor type:</string>
14acb08d75fa gui: optionally set focus to console when a command is run from another widget Torsten <ttl@justmail.de> parents: 17942 diff changeset	1073 </property>
14acb08d75fa gui: optionally set focus to console when a command is run from another widget Torsten <ttl@justmail.de> parents: 17942 diff changeset	1074 </widget>
14acb08d75fa gui: optionally set focus to console when a command is run from another widget Torsten <ttl@justmail.de> parents: 17942 diff changeset	1075 </item>
14acb08d75fa gui: optionally set focus to console when a command is run from another widget Torsten <ttl@justmail.de> parents: 17942 diff changeset	1076 <item>
14acb08d75fa gui: optionally set focus to console when a command is run from another widget Torsten <ttl@justmail.de> parents: 17942 diff changeset	1077 <widget class="QComboBox" name="terminal_cursorType"/>
14acb08d75fa gui: optionally set focus to console when a command is run from another widget Torsten <ttl@justmail.de> parents: 17942 diff changeset	1078 </item>
14acb08d75fa gui: optionally set focus to console when a command is run from another widget Torsten <ttl@justmail.de> parents: 17942 diff changeset	1079 <item>
14acb08d75fa gui: optionally set focus to console when a command is run from another widget Torsten <ttl@justmail.de> parents: 17942 diff changeset	1080 <spacer name="horizontalSpacer">
14acb08d75fa gui: optionally set focus to console when a command is run from another widget Torsten <ttl@justmail.de> parents: 17942 diff changeset	1081 <property name="orientation">
14acb08d75fa gui: optionally set focus to console when a command is run from another widget Torsten <ttl@justmail.de> parents: 17942 diff changeset	1082 <enum>Qt::Horizontal</enum>
14acb08d75fa gui: optionally set focus to console when a command is run from another widget Torsten <ttl@justmail.de> parents: 17942 diff changeset	1083 </property>
14acb08d75fa gui: optionally set focus to console when a command is run from another widget Torsten <ttl@justmail.de> parents: 17942 diff changeset	1084 <property name="sizeHint" stdset="0">
14acb08d75fa gui: optionally set focus to console when a command is run from another widget Torsten <ttl@justmail.de> parents: 17942 diff changeset	1085 <size>
14acb08d75fa gui: optionally set focus to console when a command is run from another widget Torsten <ttl@justmail.de> parents: 17942 diff changeset	1086 <width>40</width>
14acb08d75fa gui: optionally set focus to console when a command is run from another widget Torsten <ttl@justmail.de> parents: 17942 diff changeset	1087 <height>20</height>
14acb08d75fa gui: optionally set focus to console when a command is run from another widget Torsten <ttl@justmail.de> parents: 17942 diff changeset	1088 </size>
14acb08d75fa gui: optionally set focus to console when a command is run from another widget Torsten <ttl@justmail.de> parents: 17942 diff changeset	1089 </property>
14acb08d75fa gui: optionally set focus to console when a command is run from another widget Torsten <ttl@justmail.de> parents: 17942 diff changeset	1090 </spacer>
14acb08d75fa gui: optionally set focus to console when a command is run from another widget Torsten <ttl@justmail.de> parents: 17942 diff changeset	1091 </item>
14acb08d75fa gui: optionally set focus to console when a command is run from another widget Torsten <ttl@justmail.de> parents: 17942 diff changeset	1092 <item>
14acb08d75fa gui: optionally set focus to console when a command is run from another widget Torsten <ttl@justmail.de> parents: 17942 diff changeset	1093 <widget class="QCheckBox" name="terminal_cursorBlinking">
14acb08d75fa gui: optionally set focus to console when a command is run from another widget Torsten <ttl@justmail.de> parents: 17942 diff changeset	1094 <property name="text">
14acb08d75fa gui: optionally set focus to console when a command is run from another widget Torsten <ttl@justmail.de> parents: 17942 diff changeset	1095 <string>Cursor blinking</string>
14acb08d75fa gui: optionally set focus to console when a command is run from another widget Torsten <ttl@justmail.de> parents: 17942 diff changeset	1096 </property>
14acb08d75fa gui: optionally set focus to console when a command is run from another widget Torsten <ttl@justmail.de> parents: 17942 diff changeset	1097 </widget>
14acb08d75fa gui: optionally set focus to console when a command is run from another widget Torsten <ttl@justmail.de> parents: 17942 diff changeset	1098 </item>
14acb08d75fa gui: optionally set focus to console when a command is run from another widget Torsten <ttl@justmail.de> parents: 17942 diff changeset	1099 <item>
14acb08d75fa gui: optionally set focus to console when a command is run from another widget Torsten <ttl@justmail.de> parents: 17942 diff changeset	1100 <widget class="QCheckBox" name="terminal_cursorUseForegroundColor">
14acb08d75fa gui: optionally set focus to console when a command is run from another widget Torsten <ttl@justmail.de> parents: 17942 diff changeset	1101 <property name="text">
14acb08d75fa gui: optionally set focus to console when a command is run from another widget Torsten <ttl@justmail.de> parents: 17942 diff changeset	1102 <string>Use foreground color</string>
14acb08d75fa gui: optionally set focus to console when a command is run from another widget Torsten <ttl@justmail.de> parents: 17942 diff changeset	1103 </property>
14acb08d75fa gui: optionally set focus to console when a command is run from another widget Torsten <ttl@justmail.de> parents: 17942 diff changeset	1104 </widget>
14acb08d75fa gui: optionally set focus to console when a command is run from another widget Torsten <ttl@justmail.de> parents: 17942 diff changeset	1105 </item>
14acb08d75fa gui: optionally set focus to console when a command is run from another widget Torsten <ttl@justmail.de> parents: 17942 diff changeset	1106 </layout>
14acb08d75fa gui: optionally set focus to console when a command is run from another widget Torsten <ttl@justmail.de> parents: 17942 diff changeset	1107 </item>
14acb08d75fa gui: optionally set focus to console when a command is run from another widget Torsten <ttl@justmail.de> parents: 17942 diff changeset	1108 <item>
14acb08d75fa gui: optionally set focus to console when a command is run from another widget Torsten <ttl@justmail.de> parents: 17942 diff changeset	1109 <widget class="Line" name="line_7">
16747 9d0739413904 Reduce the spacing for the "Terminal Colors" under Terminal tab. Ben Abbott <bpabbott@mac.com> parents: 16746 diff changeset	1110 <property name="orientation">
9d0739413904 Reduce the spacing for the "Terminal Colors" under Terminal tab. Ben Abbott <bpabbott@mac.com> parents: 16746 diff changeset	1111 <enum>Qt::Horizontal</enum>
9d0739413904 Reduce the spacing for the "Terminal Colors" under Terminal tab. Ben Abbott <bpabbott@mac.com> parents: 16746 diff changeset	1112 </property>
9d0739413904 Reduce the spacing for the "Terminal Colors" under Terminal tab. Ben Abbott <bpabbott@mac.com> parents: 16746 diff changeset	1113 </widget>
9d0739413904 Reduce the spacing for the "Terminal Colors" under Terminal tab. Ben Abbott <bpabbott@mac.com> parents: 16746 diff changeset	1114 </item>
16620 818eef7b2618 allow terminal colors to be set from preferences dialog John W. Eaton <jwe@octave.org> parents: 16610 diff changeset	1115 <item>
818eef7b2618 allow terminal colors to be set from preferences dialog John W. Eaton <jwe@octave.org> parents: 16610 diff changeset	1116 <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	1117 <property name="minimumSize">
818eef7b2618 allow terminal colors to be set from preferences dialog John W. Eaton <jwe@octave.org> parents: 16610 diff changeset	1118 <size>
818eef7b2618 allow terminal colors to be set from preferences dialog John W. Eaton <jwe@octave.org> parents: 16610 diff changeset	1119 <width>0</width>
16747 9d0739413904 Reduce the spacing for the "Terminal Colors" under Terminal tab. Ben Abbott <bpabbott@mac.com> parents: 16746 diff changeset	1120 <height>81</height>
16620 818eef7b2618 allow terminal colors to be set from preferences dialog John W. Eaton <jwe@octave.org> parents: 16610 diff changeset	1121 </size>
818eef7b2618 allow terminal colors to be set from preferences dialog John W. Eaton <jwe@octave.org> parents: 16610 diff changeset	1122 </property>
818eef7b2618 allow terminal colors to be set from preferences dialog John W. Eaton <jwe@octave.org> parents: 16610 diff changeset	1123 <property name="title">
818eef7b2618 allow terminal colors to be set from preferences dialog John W. Eaton <jwe@octave.org> parents: 16610 diff changeset	1124 <string>Terminal Colors</string>
818eef7b2618 allow terminal colors to be set from preferences dialog John W. Eaton <jwe@octave.org> parents: 16610 diff changeset	1125 </property>
818eef7b2618 allow terminal colors to be set from preferences dialog John W. Eaton <jwe@octave.org> parents: 16610 diff changeset	1126 </widget>
818eef7b2618 allow terminal colors to be set from preferences dialog John W. Eaton <jwe@octave.org> parents: 16610 diff changeset	1127 </item>
16747 9d0739413904 Reduce the spacing for the "Terminal Colors" under Terminal tab. Ben Abbott <bpabbott@mac.com> parents: 16746 diff changeset	1128 <item>
9d0739413904 Reduce the spacing for the "Terminal Colors" under Terminal tab. Ben Abbott <bpabbott@mac.com> parents: 16746 diff changeset	1129 <widget class="Line" name="line_5">
9d0739413904 Reduce the spacing for the "Terminal Colors" under Terminal tab. Ben Abbott <bpabbott@mac.com> parents: 16746 diff changeset	1130 <property name="minimumSize">
9d0739413904 Reduce the spacing for the "Terminal Colors" under Terminal tab. Ben Abbott <bpabbott@mac.com> parents: 16746 diff changeset	1131 <size>
9d0739413904 Reduce the spacing for the "Terminal Colors" under Terminal tab. Ben Abbott <bpabbott@mac.com> parents: 16746 diff changeset	1132 <width>0</width>
9d0739413904 Reduce the spacing for the "Terminal Colors" under Terminal tab. Ben Abbott <bpabbott@mac.com> parents: 16746 diff changeset	1133 <height>0</height>
9d0739413904 Reduce the spacing for the "Terminal Colors" under Terminal tab. Ben Abbott <bpabbott@mac.com> parents: 16746 diff changeset	1134 </size>
9d0739413904 Reduce the spacing for the "Terminal Colors" under Terminal tab. Ben Abbott <bpabbott@mac.com> parents: 16746 diff changeset	1135 </property>
9d0739413904 Reduce the spacing for the "Terminal Colors" under Terminal tab. Ben Abbott <bpabbott@mac.com> parents: 16746 diff changeset	1136 <property name="orientation">
9d0739413904 Reduce the spacing for the "Terminal Colors" under Terminal tab. Ben Abbott <bpabbott@mac.com> parents: 16746 diff changeset	1137 <enum>Qt::Horizontal</enum>
9d0739413904 Reduce the spacing for the "Terminal Colors" under Terminal tab. Ben Abbott <bpabbott@mac.com> parents: 16746 diff changeset	1138 </property>
9d0739413904 Reduce the spacing for the "Terminal Colors" under Terminal tab. Ben Abbott <bpabbott@mac.com> parents: 16746 diff changeset	1139 </widget>
9d0739413904 Reduce the spacing for the "Terminal Colors" under Terminal tab. Ben Abbott <bpabbott@mac.com> parents: 16746 diff changeset	1140 </item>
16620 818eef7b2618 allow terminal colors to be set from preferences dialog John W. Eaton <jwe@octave.org> parents: 16610 diff changeset	1141 <item>
18155 14acb08d75fa gui: optionally set focus to console when a command is run from another widget Torsten <ttl@justmail.de> parents: 17942 diff changeset	1142 <widget class="QCheckBox" name="terminal_focus_command">
14acb08d75fa gui: optionally set focus to console when a command is run from another widget Torsten <ttl@justmail.de> parents: 17942 diff changeset	1143 <property name="text">
14acb08d75fa gui: optionally set focus to console when a command is run from another widget Torsten <ttl@justmail.de> parents: 17942 diff changeset	1144 <string>Set focus to terminal when running a command from within another widget</string>
14acb08d75fa gui: optionally set focus to console when a command is run from another widget Torsten <ttl@justmail.de> parents: 17942 diff changeset	1145 </property>
14acb08d75fa gui: optionally set focus to console when a command is run from another widget Torsten <ttl@justmail.de> parents: 17942 diff changeset	1146 </widget>
14acb08d75fa gui: optionally set focus to console when a command is run from another widget Torsten <ttl@justmail.de> parents: 17942 diff changeset	1147 </item>
14acb08d75fa gui: optionally set focus to console when a command is run from another widget Torsten <ttl@justmail.de> parents: 17942 diff changeset	1148 <item>
14acb08d75fa gui: optionally set focus to console when a command is run from another widget Torsten <ttl@justmail.de> parents: 17942 diff changeset	1149 <widget class="Line" name="line_6">
14acb08d75fa gui: optionally set focus to console when a command is run from another widget Torsten <ttl@justmail.de> parents: 17942 diff changeset	1150 <property name="orientation">
14acb08d75fa gui: optionally set focus to console when a command is run from another widget Torsten <ttl@justmail.de> parents: 17942 diff changeset	1151 <enum>Qt::Horizontal</enum>
14acb08d75fa gui: optionally set focus to console when a command is run from another widget Torsten <ttl@justmail.de> parents: 17942 diff changeset	1152 </property>
14acb08d75fa gui: optionally set focus to console when a command is run from another widget Torsten <ttl@justmail.de> parents: 17942 diff changeset	1153 </widget>
14acb08d75fa gui: optionally set focus to console when a command is run from another widget Torsten <ttl@justmail.de> parents: 17942 diff changeset	1154 </item>
14acb08d75fa gui: optionally set focus to console when a command is run from another widget Torsten <ttl@justmail.de> parents: 17942 diff changeset	1155 <item>
16620 818eef7b2618 allow terminal colors to be set from preferences dialog John W. Eaton <jwe@octave.org> parents: 16610 diff changeset	1156 <spacer name="verticalSpacer_3">
818eef7b2618 allow terminal colors to be set from preferences dialog John W. Eaton <jwe@octave.org> parents: 16610 diff changeset	1157 <property name="orientation">
818eef7b2618 allow terminal colors to be set from preferences dialog John W. Eaton <jwe@octave.org> parents: 16610 diff changeset	1158 <enum>Qt::Vertical</enum>
818eef7b2618 allow terminal colors to be set from preferences dialog John W. Eaton <jwe@octave.org> parents: 16610 diff changeset	1159 </property>
818eef7b2618 allow terminal colors to be set from preferences dialog John W. Eaton <jwe@octave.org> parents: 16610 diff changeset	1160 <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	1161 <size>
818eef7b2618 allow terminal colors to be set from preferences dialog John W. Eaton <jwe@octave.org> parents: 16610 diff changeset	1162 <width>20</width>
818eef7b2618 allow terminal colors to be set from preferences dialog John W. Eaton <jwe@octave.org> parents: 16610 diff changeset	1163 <height>40</height>
818eef7b2618 allow terminal colors to be set from preferences dialog John W. Eaton <jwe@octave.org> parents: 16610 diff changeset	1164 </size>
818eef7b2618 allow terminal colors to be set from preferences dialog John W. Eaton <jwe@octave.org> parents: 16610 diff changeset	1165 </property>
818eef7b2618 allow terminal colors to be set from preferences dialog John W. Eaton <jwe@octave.org> parents: 16610 diff changeset	1166 </spacer>
818eef7b2618 allow terminal colors to be set from preferences dialog John W. Eaton <jwe@octave.org> parents: 16610 diff changeset	1167 </item>
818eef7b2618 allow terminal colors to be set from preferences dialog John W. Eaton <jwe@octave.org> parents: 16610 diff changeset	1168 </layout>
818eef7b2618 allow terminal colors to be set from preferences dialog John W. Eaton <jwe@octave.org> parents: 16610 diff changeset	1169 </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	1170 </widget>
17676 c060ad097056 add menu entries to the editor for directly accessing the editor's settings Torsten <ttl@justmail.de> parents: 16865 diff changeset	1171 <widget class="QWidget" name="tab_file_browser">
13536 869c62c15e95 Few minor improvements, added advanced settings for file browser. Jacob Dawid <jacob.dawid@googlemail.com> parents: 13531 diff changeset	1172 <attribute name="title">
869c62c15e95 Few minor improvements, added advanced settings for file browser. Jacob Dawid <jacob.dawid@googlemail.com> parents: 13531 diff changeset	1173 <string>File Browser</string>
869c62c15e95 Few minor improvements, added advanced settings for file browser. Jacob Dawid <jacob.dawid@googlemail.com> parents: 13531 diff changeset	1174 </attribute>
869c62c15e95 Few minor improvements, added advanced settings for file browser. Jacob Dawid <jacob.dawid@googlemail.com> parents: 13531 diff changeset	1175 <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	1176 <item>
869c62c15e95 Few minor improvements, added advanced settings for file browser. Jacob Dawid <jacob.dawid@googlemail.com> parents: 13531 diff changeset	1177 <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	1178 <property name="text">
869c62c15e95 Few minor improvements, added advanced settings for file browser. Jacob Dawid <jacob.dawid@googlemail.com> parents: 13531 diff changeset	1179 <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	1180 </property>
869c62c15e95 Few minor improvements, added advanced settings for file browser. Jacob Dawid <jacob.dawid@googlemail.com> parents: 13531 diff changeset	1181 </widget>
869c62c15e95 Few minor improvements, added advanced settings for file browser. Jacob Dawid <jacob.dawid@googlemail.com> parents: 13531 diff changeset	1182 </item>
869c62c15e95 Few minor improvements, added advanced settings for file browser. Jacob Dawid <jacob.dawid@googlemail.com> parents: 13531 diff changeset	1183 <item>
869c62c15e95 Few minor improvements, added advanced settings for file browser. Jacob Dawid <jacob.dawid@googlemail.com> parents: 13531 diff changeset	1184 <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	1185 <property name="text">
869c62c15e95 Few minor improvements, added advanced settings for file browser. Jacob Dawid <jacob.dawid@googlemail.com> parents: 13531 diff changeset	1186 <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	1187 </property>
869c62c15e95 Few minor improvements, added advanced settings for file browser. Jacob Dawid <jacob.dawid@googlemail.com> parents: 13531 diff changeset	1188 </widget>
869c62c15e95 Few minor improvements, added advanced settings for file browser. Jacob Dawid <jacob.dawid@googlemail.com> parents: 13531 diff changeset	1189 </item>
869c62c15e95 Few minor improvements, added advanced settings for file browser. Jacob Dawid <jacob.dawid@googlemail.com> parents: 13531 diff changeset	1190 <item>
869c62c15e95 Few minor improvements, added advanced settings for file browser. Jacob Dawid <jacob.dawid@googlemail.com> parents: 13531 diff changeset	1191 <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	1192 <property name="text">
869c62c15e95 Few minor improvements, added advanced settings for file browser. Jacob Dawid <jacob.dawid@googlemail.com> parents: 13531 diff changeset	1193 <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	1194 </property>
869c62c15e95 Few minor improvements, added advanced settings for file browser. Jacob Dawid <jacob.dawid@googlemail.com> parents: 13531 diff changeset	1195 </widget>
869c62c15e95 Few minor improvements, added advanced settings for file browser. Jacob Dawid <jacob.dawid@googlemail.com> parents: 13531 diff changeset	1196 </item>
869c62c15e95 Few minor improvements, added advanced settings for file browser. Jacob Dawid <jacob.dawid@googlemail.com> parents: 13531 diff changeset	1197 <item>
869c62c15e95 Few minor improvements, added advanced settings for file browser. Jacob Dawid <jacob.dawid@googlemail.com> parents: 13531 diff changeset	1198 <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	1199 <property name="text">
869c62c15e95 Few minor improvements, added advanced settings for file browser. Jacob Dawid <jacob.dawid@googlemail.com> parents: 13531 diff changeset	1200 <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	1201 </property>
869c62c15e95 Few minor improvements, added advanced settings for file browser. Jacob Dawid <jacob.dawid@googlemail.com> parents: 13531 diff changeset	1202 </widget>
869c62c15e95 Few minor improvements, added advanced settings for file browser. Jacob Dawid <jacob.dawid@googlemail.com> parents: 13531 diff changeset	1203 </item>
869c62c15e95 Few minor improvements, added advanced settings for file browser. Jacob Dawid <jacob.dawid@googlemail.com> parents: 13531 diff changeset	1204 <item>
16499 facf00ce97d3 gui: configurable synchronization between file browser and octave directory Torsten <ttl@justmail.de> parents: 16410 diff changeset	1205 <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	1206 <property name="text">
17935 752f6b358754 Tweak GUI strings for conformity. Rik <rik@octave.org> parents: 17740 diff changeset	1207 <string>Synchronize Octave working directory with file browser</string>
16499 facf00ce97d3 gui: configurable synchronization between file browser and octave directory Torsten <ttl@justmail.de> parents: 16410 diff changeset	1208 </property>
facf00ce97d3 gui: configurable synchronization between file browser and octave directory Torsten <ttl@justmail.de> parents: 16410 diff changeset	1209 </widget>
facf00ce97d3 gui: configurable synchronization between file browser and octave directory Torsten <ttl@justmail.de> parents: 16410 diff changeset	1210 </item>
facf00ce97d3 gui: configurable synchronization between file browser and octave directory Torsten <ttl@justmail.de> parents: 16410 diff changeset	1211 <item>
13536 869c62c15e95 Few minor improvements, added advanced settings for file browser. Jacob Dawid <jacob.dawid@googlemail.com> parents: 13531 diff changeset	1212 <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	1213 <property name="text">
869c62c15e95 Few minor improvements, added advanced settings for file browser. Jacob Dawid <jacob.dawid@googlemail.com> parents: 13531 diff changeset	1214 <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	1215 </property>
869c62c15e95 Few minor improvements, added advanced settings for file browser. Jacob Dawid <jacob.dawid@googlemail.com> parents: 13531 diff changeset	1216 </widget>
869c62c15e95 Few minor improvements, added advanced settings for file browser. Jacob Dawid <jacob.dawid@googlemail.com> parents: 13531 diff changeset	1217 </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	1218 <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	1219 <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	1220 <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	1221 <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	1222 </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	1223 <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	1224 <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	1225 <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	1226 <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	1227 </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	1228 </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	1229 </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	1230 </item>
13536 869c62c15e95 Few minor improvements, added advanced settings for file browser. Jacob Dawid <jacob.dawid@googlemail.com> parents: 13531 diff changeset	1231 </layout>
869c62c15e95 Few minor improvements, added advanced settings for file browser. Jacob Dawid <jacob.dawid@googlemail.com> parents: 13531 diff changeset	1232 </widget>
16610 a1f613e5066d workspace view colors based upon variable scope (derived from Dan's patch #8013) Torsten <ttl@justmail.de> parents: 16525 diff changeset	1233 <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	1234 <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	1235 <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	1236 </attribute>
16742 e3c931e5b707 Modify the "Workspace" tab to properly display the work space colors on MacOS X. Ben Abbott <bpabbott@mac.com> parents: 16741 diff changeset	1237 <widget class="QWidget" name="verticalLayoutWidget_6">
16610 a1f613e5066d workspace view colors based upon variable scope (derived from Dan's patch #8013) Torsten <ttl@justmail.de> parents: 16525 diff changeset	1238 <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	1239 <rect>
16743 f71998dda3da Modify the "Workspace" tab to prevent widgets from extending past the left edge. Ben Abbott <bpabbott@mac.com> parents: 16742 diff changeset	1240 <x>10</x>
16742 e3c931e5b707 Modify the "Workspace" tab to properly display the work space colors on MacOS X. Ben Abbott <bpabbott@mac.com> parents: 16741 diff changeset	1241 <y>8</y>
16743 f71998dda3da Modify the "Workspace" tab to prevent widgets from extending past the left edge. Ben Abbott <bpabbott@mac.com> parents: 16742 diff changeset	1242 <width>631</width>
f71998dda3da Modify the "Workspace" tab to prevent widgets from extending past the left edge. Ben Abbott <bpabbott@mac.com> parents: 16742 diff changeset	1243 <height>381</height>
16610 a1f613e5066d workspace view colors based upon variable scope (derived from Dan's patch #8013) Torsten <ttl@justmail.de> parents: 16525 diff changeset	1244 </rect>
a1f613e5066d workspace view colors based upon variable scope (derived from Dan's patch #8013) Torsten <ttl@justmail.de> parents: 16525 diff changeset	1245 </property>
16742 e3c931e5b707 Modify the "Workspace" tab to properly display the work space colors on MacOS X. Ben Abbott <bpabbott@mac.com> parents: 16741 diff changeset	1246 <layout class="QVBoxLayout" name="verticalLayout_13">
e3c931e5b707 Modify the "Workspace" tab to properly display the work space colors on MacOS X. Ben Abbott <bpabbott@mac.com> parents: 16741 diff changeset	1247 <item>
e3c931e5b707 Modify the "Workspace" tab to properly display the work space colors on MacOS X. Ben Abbott <bpabbott@mac.com> parents: 16741 diff changeset	1248 <widget class="QGroupBox" name="workspace_colors_box">
e3c931e5b707 Modify the "Workspace" tab to properly display the work space colors on MacOS X. Ben Abbott <bpabbott@mac.com> parents: 16741 diff changeset	1249 <property name="enabled">
e3c931e5b707 Modify the "Workspace" tab to properly display the work space colors on MacOS X. Ben Abbott <bpabbott@mac.com> parents: 16741 diff changeset	1250 <bool>true</bool>
e3c931e5b707 Modify the "Workspace" tab to properly display the work space colors on MacOS X. Ben Abbott <bpabbott@mac.com> parents: 16741 diff changeset	1251 </property>
e3c931e5b707 Modify the "Workspace" tab to properly display the work space colors on MacOS X. Ben Abbott <bpabbott@mac.com> parents: 16741 diff changeset	1252 <property name="sizePolicy">
e3c931e5b707 Modify the "Workspace" tab to properly display the work space colors on MacOS X. Ben Abbott <bpabbott@mac.com> parents: 16741 diff changeset	1253 <sizepolicy hsizetype="Preferred" vsizetype="Preferred">
e3c931e5b707 Modify the "Workspace" tab to properly display the work space colors on MacOS X. Ben Abbott <bpabbott@mac.com> parents: 16741 diff changeset	1254 <horstretch>0</horstretch>
e3c931e5b707 Modify the "Workspace" tab to properly display the work space colors on MacOS X. Ben Abbott <bpabbott@mac.com> parents: 16741 diff changeset	1255 <verstretch>0</verstretch>
e3c931e5b707 Modify the "Workspace" tab to properly display the work space colors on MacOS X. Ben Abbott <bpabbott@mac.com> parents: 16741 diff changeset	1256 </sizepolicy>
e3c931e5b707 Modify the "Workspace" tab to properly display the work space colors on MacOS X. Ben Abbott <bpabbott@mac.com> parents: 16741 diff changeset	1257 </property>
e3c931e5b707 Modify the "Workspace" tab to properly display the work space colors on MacOS X. Ben Abbott <bpabbott@mac.com> parents: 16741 diff changeset	1258 <property name="minimumSize">
e3c931e5b707 Modify the "Workspace" tab to properly display the work space colors on MacOS X. Ben Abbott <bpabbott@mac.com> parents: 16741 diff changeset	1259 <size>
e3c931e5b707 Modify the "Workspace" tab to properly display the work space colors on MacOS X. Ben Abbott <bpabbott@mac.com> parents: 16741 diff changeset	1260 <width>0</width>
e3c931e5b707 Modify the "Workspace" tab to properly display the work space colors on MacOS X. Ben Abbott <bpabbott@mac.com> parents: 16741 diff changeset	1261 <height>81</height>
e3c931e5b707 Modify the "Workspace" tab to properly display the work space colors on MacOS X. Ben Abbott <bpabbott@mac.com> parents: 16741 diff changeset	1262 </size>
e3c931e5b707 Modify the "Workspace" tab to properly display the work space colors on MacOS X. Ben Abbott <bpabbott@mac.com> parents: 16741 diff changeset	1263 </property>
e3c931e5b707 Modify the "Workspace" tab to properly display the work space colors on MacOS X. Ben Abbott <bpabbott@mac.com> parents: 16741 diff changeset	1264 <property name="title">
e3c931e5b707 Modify the "Workspace" tab to properly display the work space colors on MacOS X. Ben Abbott <bpabbott@mac.com> parents: 16741 diff changeset	1265 <string>Storage Class Colors</string>
e3c931e5b707 Modify the "Workspace" tab to properly display the work space colors on MacOS X. Ben Abbott <bpabbott@mac.com> parents: 16741 diff changeset	1266 </property>
e3c931e5b707 Modify the "Workspace" tab to properly display the work space colors on MacOS X. Ben Abbott <bpabbott@mac.com> parents: 16741 diff changeset	1267 </widget>
e3c931e5b707 Modify the "Workspace" tab to properly display the work space colors on MacOS X. Ben Abbott <bpabbott@mac.com> parents: 16741 diff changeset	1268 </item>
e3c931e5b707 Modify the "Workspace" tab to properly display the work space colors on MacOS X. Ben Abbott <bpabbott@mac.com> parents: 16741 diff changeset	1269 <item>
e3c931e5b707 Modify the "Workspace" tab to properly display the work space colors on MacOS X. Ben Abbott <bpabbott@mac.com> parents: 16741 diff changeset	1270 <widget class="Line" name="line_8">
e3c931e5b707 Modify the "Workspace" tab to properly display the work space colors on MacOS X. Ben Abbott <bpabbott@mac.com> parents: 16741 diff changeset	1271 <property name="minimumSize">
e3c931e5b707 Modify the "Workspace" tab to properly display the work space colors on MacOS X. Ben Abbott <bpabbott@mac.com> parents: 16741 diff changeset	1272 <size>
e3c931e5b707 Modify the "Workspace" tab to properly display the work space colors on MacOS X. Ben Abbott <bpabbott@mac.com> parents: 16741 diff changeset	1273 <width>0</width>
e3c931e5b707 Modify the "Workspace" tab to properly display the work space colors on MacOS X. Ben Abbott <bpabbott@mac.com> parents: 16741 diff changeset	1274 <height>1</height>
e3c931e5b707 Modify the "Workspace" tab to properly display the work space colors on MacOS X. Ben Abbott <bpabbott@mac.com> parents: 16741 diff changeset	1275 </size>
e3c931e5b707 Modify the "Workspace" tab to properly display the work space colors on MacOS X. Ben Abbott <bpabbott@mac.com> parents: 16741 diff changeset	1276 </property>
e3c931e5b707 Modify the "Workspace" tab to properly display the work space colors on MacOS X. Ben Abbott <bpabbott@mac.com> parents: 16741 diff changeset	1277 <property name="orientation">
e3c931e5b707 Modify the "Workspace" tab to properly display the work space colors on MacOS X. Ben Abbott <bpabbott@mac.com> parents: 16741 diff changeset	1278 <enum>Qt::Horizontal</enum>
e3c931e5b707 Modify the "Workspace" tab to properly display the work space colors on MacOS X. Ben Abbott <bpabbott@mac.com> parents: 16741 diff changeset	1279 </property>
e3c931e5b707 Modify the "Workspace" tab to properly display the work space colors on MacOS X. Ben Abbott <bpabbott@mac.com> parents: 16741 diff changeset	1280 </widget>
e3c931e5b707 Modify the "Workspace" tab to properly display the work space colors on MacOS X. Ben Abbott <bpabbott@mac.com> parents: 16741 diff changeset	1281 </item>
e3c931e5b707 Modify the "Workspace" tab to properly display the work space colors on MacOS X. Ben Abbott <bpabbott@mac.com> parents: 16741 diff changeset	1282 <item>
e3c931e5b707 Modify the "Workspace" tab to properly display the work space colors on MacOS X. Ben Abbott <bpabbott@mac.com> parents: 16741 diff changeset	1283 <spacer name="verticalSpacer_6">
e3c931e5b707 Modify the "Workspace" tab to properly display the work space colors on MacOS X. Ben Abbott <bpabbott@mac.com> parents: 16741 diff changeset	1284 <property name="orientation">
e3c931e5b707 Modify the "Workspace" tab to properly display the work space colors on MacOS X. Ben Abbott <bpabbott@mac.com> parents: 16741 diff changeset	1285 <enum>Qt::Vertical</enum>
e3c931e5b707 Modify the "Workspace" tab to properly display the work space colors on MacOS X. Ben Abbott <bpabbott@mac.com> parents: 16741 diff changeset	1286 </property>
e3c931e5b707 Modify the "Workspace" tab to properly display the work space colors on MacOS X. Ben Abbott <bpabbott@mac.com> parents: 16741 diff changeset	1287 <property name="sizeHint" stdset="0">
e3c931e5b707 Modify the "Workspace" tab to properly display the work space colors on MacOS X. Ben Abbott <bpabbott@mac.com> parents: 16741 diff changeset	1288 <size>
e3c931e5b707 Modify the "Workspace" tab to properly display the work space colors on MacOS X. Ben Abbott <bpabbott@mac.com> parents: 16741 diff changeset	1289 <width>20</width>
e3c931e5b707 Modify the "Workspace" tab to properly display the work space colors on MacOS X. Ben Abbott <bpabbott@mac.com> parents: 16741 diff changeset	1290 <height>40</height>
e3c931e5b707 Modify the "Workspace" tab to properly display the work space colors on MacOS X. Ben Abbott <bpabbott@mac.com> parents: 16741 diff changeset	1291 </size>
e3c931e5b707 Modify the "Workspace" tab to properly display the work space colors on MacOS X. Ben Abbott <bpabbott@mac.com> parents: 16741 diff changeset	1292 </property>
e3c931e5b707 Modify the "Workspace" tab to properly display the work space colors on MacOS X. Ben Abbott <bpabbott@mac.com> parents: 16741 diff changeset	1293 </spacer>
e3c931e5b707 Modify the "Workspace" tab to properly display the work space colors on MacOS X. Ben Abbott <bpabbott@mac.com> parents: 16741 diff changeset	1294 </item>
e3c931e5b707 Modify the "Workspace" tab to properly display the work space colors on MacOS X. Ben Abbott <bpabbott@mac.com> parents: 16741 diff changeset	1295 </layout>
16610 a1f613e5066d workspace view colors based upon variable scope (derived from Dan's patch #8013) Torsten <ttl@justmail.de> parents: 16525 diff changeset	1296 </widget>
a1f613e5066d workspace view colors based upon variable scope (derived from Dan's patch #8013) Torsten <ttl@justmail.de> parents: 16525 diff changeset	1297 </widget>
17676 c060ad097056 add menu entries to the editor for directly accessing the editor's settings Torsten <ttl@justmail.de> parents: 16865 diff changeset	1298 <widget class="QWidget" name="tab_network">
13606 ac9ef5a29460 Added proxy network settings tab and translators file. Jacob Dawid <jacob.dawid@googlemail.com> parents: 13538 diff changeset	1299 <attribute name="title">
ac9ef5a29460 Added proxy network settings tab and translators file. Jacob Dawid <jacob.dawid@googlemail.com> parents: 13538 diff changeset	1300 <string>Network</string>
ac9ef5a29460 Added proxy network settings tab and translators file. Jacob Dawid <jacob.dawid@googlemail.com> parents: 13538 diff changeset	1301 </attribute>
ac9ef5a29460 Added proxy network settings tab and translators file. Jacob Dawid <jacob.dawid@googlemail.com> parents: 13538 diff changeset	1302 <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	1303 <item>
17942 0b71746689dc add preference for allowing connections to the octave web site Torsten <ttl@justmail.de> parents: 17935 diff changeset	1304 <layout class="QVBoxLayout" name="verticalLayout">
0b71746689dc add preference for allowing connections to the octave web site Torsten <ttl@justmail.de> parents: 17935 diff changeset	1305 <item>
0b71746689dc add preference for allowing connections to the octave web site Torsten <ttl@justmail.de> parents: 17935 diff changeset	1306 <widget class="QCheckBox" name="checkbox_allow_web_connect">
13606 ac9ef5a29460 Added proxy network settings tab and translators file. Jacob Dawid <jacob.dawid@googlemail.com> parents: 13538 diff changeset	1307 <property name="text">
17942 0b71746689dc add preference for allowing connections to the octave web site Torsten <ttl@justmail.de> parents: 17935 diff changeset	1308 <string>Allow Octave to connect to the Octave web site to display current news and information</string>
13606 ac9ef5a29460 Added proxy network settings tab and translators file. Jacob Dawid <jacob.dawid@googlemail.com> parents: 13538 diff changeset	1309 </property>
ac9ef5a29460 Added proxy network settings tab and translators file. Jacob Dawid <jacob.dawid@googlemail.com> parents: 13538 diff changeset	1310 </widget>
ac9ef5a29460 Added proxy network settings tab and translators file. Jacob Dawid <jacob.dawid@googlemail.com> parents: 13538 diff changeset	1311 </item>
17942 0b71746689dc add preference for allowing connections to the octave web site Torsten <ttl@justmail.de> parents: 17935 diff changeset	1312 <item>
0b71746689dc add preference for allowing connections to the octave web site Torsten <ttl@justmail.de> parents: 17935 diff changeset	1313 <layout class="QGridLayout" name="gridLayout_5">
0b71746689dc add preference for allowing connections to the octave web site Torsten <ttl@justmail.de> parents: 17935 diff changeset	1314 <item row="1" column="1">
0b71746689dc add preference for allowing connections to the octave web site Torsten <ttl@justmail.de> parents: 17935 diff changeset	1315 <widget class="QLabel" name="label_4">
0b71746689dc add preference for allowing connections to the octave web site Torsten <ttl@justmail.de> parents: 17935 diff changeset	1316 <property name="enabled">
0b71746689dc add preference for allowing connections to the octave web site Torsten <ttl@justmail.de> parents: 17935 diff changeset	1317 <bool>false</bool>
0b71746689dc add preference for allowing connections to the octave web site Torsten <ttl@justmail.de> parents: 17935 diff changeset	1318 </property>
0b71746689dc add preference for allowing connections to the octave web site Torsten <ttl@justmail.de> parents: 17935 diff changeset	1319 <property name="text">
0b71746689dc add preference for allowing connections to the octave web site Torsten <ttl@justmail.de> parents: 17935 diff changeset	1320 <string>Hostname:</string>
0b71746689dc add preference for allowing connections to the octave web site Torsten <ttl@justmail.de> parents: 17935 diff changeset	1321 </property>
0b71746689dc add preference for allowing connections to the octave web site Torsten <ttl@justmail.de> parents: 17935 diff changeset	1322 </widget>
0b71746689dc add preference for allowing connections to the octave web site Torsten <ttl@justmail.de> parents: 17935 diff changeset	1323 </item>
0b71746689dc add preference for allowing connections to the octave web site Torsten <ttl@justmail.de> parents: 17935 diff changeset	1324 <item row="0" column="2">
0b71746689dc add preference for allowing connections to the octave web site Torsten <ttl@justmail.de> parents: 17935 diff changeset	1325 <widget class="QComboBox" name="proxyType">
0b71746689dc add preference for allowing connections to the octave web site Torsten <ttl@justmail.de> parents: 17935 diff changeset	1326 <property name="enabled">
0b71746689dc add preference for allowing connections to the octave web site Torsten <ttl@justmail.de> parents: 17935 diff changeset	1327 <bool>false</bool>
0b71746689dc add preference for allowing connections to the octave web site Torsten <ttl@justmail.de> parents: 17935 diff changeset	1328 </property>
0b71746689dc add preference for allowing connections to the octave web site Torsten <ttl@justmail.de> parents: 17935 diff changeset	1329 <item>
0b71746689dc add preference for allowing connections to the octave web site Torsten <ttl@justmail.de> parents: 17935 diff changeset	1330 <property name="text">
0b71746689dc add preference for allowing connections to the octave web site Torsten <ttl@justmail.de> parents: 17935 diff changeset	1331 <string>HttpProxy</string>
0b71746689dc add preference for allowing connections to the octave web site Torsten <ttl@justmail.de> parents: 17935 diff changeset	1332 </property>
0b71746689dc add preference for allowing connections to the octave web site Torsten <ttl@justmail.de> parents: 17935 diff changeset	1333 </item>
0b71746689dc add preference for allowing connections to the octave web site Torsten <ttl@justmail.de> parents: 17935 diff changeset	1334 <item>
0b71746689dc add preference for allowing connections to the octave web site Torsten <ttl@justmail.de> parents: 17935 diff changeset	1335 <property name="text">
0b71746689dc add preference for allowing connections to the octave web site Torsten <ttl@justmail.de> parents: 17935 diff changeset	1336 <string>Socks5Proxy</string>
0b71746689dc add preference for allowing connections to the octave web site Torsten <ttl@justmail.de> parents: 17935 diff changeset	1337 </property>
0b71746689dc add preference for allowing connections to the octave web site Torsten <ttl@justmail.de> parents: 17935 diff changeset	1338 </item>
0b71746689dc add preference for allowing connections to the octave web site Torsten <ttl@justmail.de> parents: 17935 diff changeset	1339 </widget>
0b71746689dc add preference for allowing connections to the octave web site Torsten <ttl@justmail.de> parents: 17935 diff changeset	1340 </item>
0b71746689dc add preference for allowing connections to the octave web site Torsten <ttl@justmail.de> parents: 17935 diff changeset	1341 <item row="3" column="1">
0b71746689dc add preference for allowing connections to the octave web site Torsten <ttl@justmail.de> parents: 17935 diff changeset	1342 <widget class="QLabel" name="label_6">
0b71746689dc add preference for allowing connections to the octave web site Torsten <ttl@justmail.de> parents: 17935 diff changeset	1343 <property name="enabled">
0b71746689dc add preference for allowing connections to the octave web site Torsten <ttl@justmail.de> parents: 17935 diff changeset	1344 <bool>false</bool>
0b71746689dc add preference for allowing connections to the octave web site Torsten <ttl@justmail.de> parents: 17935 diff changeset	1345 </property>
0b71746689dc add preference for allowing connections to the octave web site Torsten <ttl@justmail.de> parents: 17935 diff changeset	1346 <property name="text">
0b71746689dc add preference for allowing connections to the octave web site Torsten <ttl@justmail.de> parents: 17935 diff changeset	1347 <string>Username:</string>
0b71746689dc add preference for allowing connections to the octave web site Torsten <ttl@justmail.de> parents: 17935 diff changeset	1348 </property>
0b71746689dc add preference for allowing connections to the octave web site Torsten <ttl@justmail.de> parents: 17935 diff changeset	1349 </widget>
0b71746689dc add preference for allowing connections to the octave web site Torsten <ttl@justmail.de> parents: 17935 diff changeset	1350 </item>
0b71746689dc add preference for allowing connections to the octave web site Torsten <ttl@justmail.de> parents: 17935 diff changeset	1351 <item row="0" column="0">
0b71746689dc add preference for allowing connections to the octave web site Torsten <ttl@justmail.de> parents: 17935 diff changeset	1352 <widget class="QCheckBox" name="useProxyServer">
0b71746689dc add preference for allowing connections to the octave web site Torsten <ttl@justmail.de> parents: 17935 diff changeset	1353 <property name="text">
0b71746689dc add preference for allowing connections to the octave web site Torsten <ttl@justmail.de> parents: 17935 diff changeset	1354 <string>Use proxy server</string>
0b71746689dc add preference for allowing connections to the octave web site Torsten <ttl@justmail.de> parents: 17935 diff changeset	1355 </property>
0b71746689dc add preference for allowing connections to the octave web site Torsten <ttl@justmail.de> parents: 17935 diff changeset	1356 </widget>
0b71746689dc add preference for allowing connections to the octave web site Torsten <ttl@justmail.de> parents: 17935 diff changeset	1357 </item>
0b71746689dc add preference for allowing connections to the octave web site Torsten <ttl@justmail.de> parents: 17935 diff changeset	1358 <item row="0" column="1">
0b71746689dc add preference for allowing connections to the octave web site Torsten <ttl@justmail.de> parents: 17935 diff changeset	1359 <widget class="QLabel" name="label_3">
0b71746689dc add preference for allowing connections to the octave web site Torsten <ttl@justmail.de> parents: 17935 diff changeset	1360 <property name="enabled">
0b71746689dc add preference for allowing connections to the octave web site Torsten <ttl@justmail.de> parents: 17935 diff changeset	1361 <bool>false</bool>
0b71746689dc add preference for allowing connections to the octave web site Torsten <ttl@justmail.de> parents: 17935 diff changeset	1362 </property>
0b71746689dc add preference for allowing connections to the octave web site Torsten <ttl@justmail.de> parents: 17935 diff changeset	1363 <property name="text">
0b71746689dc add preference for allowing connections to the octave web site Torsten <ttl@justmail.de> parents: 17935 diff changeset	1364 <string>Proxy type:</string>
0b71746689dc add preference for allowing connections to the octave web site Torsten <ttl@justmail.de> parents: 17935 diff changeset	1365 </property>
0b71746689dc add preference for allowing connections to the octave web site Torsten <ttl@justmail.de> parents: 17935 diff changeset	1366 </widget>
0b71746689dc add preference for allowing connections to the octave web site Torsten <ttl@justmail.de> parents: 17935 diff changeset	1367 </item>
0b71746689dc add preference for allowing connections to the octave web site Torsten <ttl@justmail.de> parents: 17935 diff changeset	1368 <item row="2" column="1">
0b71746689dc add preference for allowing connections to the octave web site Torsten <ttl@justmail.de> parents: 17935 diff changeset	1369 <widget class="QLabel" name="label_5">
0b71746689dc add preference for allowing connections to the octave web site Torsten <ttl@justmail.de> parents: 17935 diff changeset	1370 <property name="enabled">
0b71746689dc add preference for allowing connections to the octave web site Torsten <ttl@justmail.de> parents: 17935 diff changeset	1371 <bool>false</bool>
0b71746689dc add preference for allowing connections to the octave web site Torsten <ttl@justmail.de> parents: 17935 diff changeset	1372 </property>
0b71746689dc add preference for allowing connections to the octave web site Torsten <ttl@justmail.de> parents: 17935 diff changeset	1373 <property name="text">
0b71746689dc add preference for allowing connections to the octave web site Torsten <ttl@justmail.de> parents: 17935 diff changeset	1374 <string>Port:</string>
0b71746689dc add preference for allowing connections to the octave web site Torsten <ttl@justmail.de> parents: 17935 diff changeset	1375 </property>
0b71746689dc add preference for allowing connections to the octave web site Torsten <ttl@justmail.de> parents: 17935 diff changeset	1376 </widget>
0b71746689dc add preference for allowing connections to the octave web site Torsten <ttl@justmail.de> parents: 17935 diff changeset	1377 </item>
0b71746689dc add preference for allowing connections to the octave web site Torsten <ttl@justmail.de> parents: 17935 diff changeset	1378 <item row="4" column="1">
0b71746689dc add preference for allowing connections to the octave web site Torsten <ttl@justmail.de> parents: 17935 diff changeset	1379 <widget class="QLabel" name="label_7">
0b71746689dc add preference for allowing connections to the octave web site Torsten <ttl@justmail.de> parents: 17935 diff changeset	1380 <property name="enabled">
0b71746689dc add preference for allowing connections to the octave web site Torsten <ttl@justmail.de> parents: 17935 diff changeset	1381 <bool>false</bool>
0b71746689dc add preference for allowing connections to the octave web site Torsten <ttl@justmail.de> parents: 17935 diff changeset	1382 </property>
0b71746689dc add preference for allowing connections to the octave web site Torsten <ttl@justmail.de> parents: 17935 diff changeset	1383 <property name="text">
0b71746689dc add preference for allowing connections to the octave web site Torsten <ttl@justmail.de> parents: 17935 diff changeset	1384 <string>Password:</string>
0b71746689dc add preference for allowing connections to the octave web site Torsten <ttl@justmail.de> parents: 17935 diff changeset	1385 </property>
0b71746689dc add preference for allowing connections to the octave web site Torsten <ttl@justmail.de> parents: 17935 diff changeset	1386 </widget>
0b71746689dc add preference for allowing connections to the octave web site Torsten <ttl@justmail.de> parents: 17935 diff changeset	1387 </item>
0b71746689dc add preference for allowing connections to the octave web site Torsten <ttl@justmail.de> parents: 17935 diff changeset	1388 <item row="1" column="2">
0b71746689dc add preference for allowing connections to the octave web site Torsten <ttl@justmail.de> parents: 17935 diff changeset	1389 <widget class="QLineEdit" name="proxyHostName">
0b71746689dc add preference for allowing connections to the octave web site Torsten <ttl@justmail.de> parents: 17935 diff changeset	1390 <property name="enabled">
0b71746689dc add preference for allowing connections to the octave web site Torsten <ttl@justmail.de> parents: 17935 diff changeset	1391 <bool>false</bool>
0b71746689dc add preference for allowing connections to the octave web site Torsten <ttl@justmail.de> parents: 17935 diff changeset	1392 </property>
0b71746689dc add preference for allowing connections to the octave web site Torsten <ttl@justmail.de> parents: 17935 diff changeset	1393 </widget>
0b71746689dc add preference for allowing connections to the octave web site Torsten <ttl@justmail.de> parents: 17935 diff changeset	1394 </item>
0b71746689dc add preference for allowing connections to the octave web site Torsten <ttl@justmail.de> parents: 17935 diff changeset	1395 <item row="2" column="2">
0b71746689dc add preference for allowing connections to the octave web site Torsten <ttl@justmail.de> parents: 17935 diff changeset	1396 <widget class="QLineEdit" name="proxyPort">
0b71746689dc add preference for allowing connections to the octave web site Torsten <ttl@justmail.de> parents: 17935 diff changeset	1397 <property name="enabled">
0b71746689dc add preference for allowing connections to the octave web site Torsten <ttl@justmail.de> parents: 17935 diff changeset	1398 <bool>false</bool>
0b71746689dc add preference for allowing connections to the octave web site Torsten <ttl@justmail.de> parents: 17935 diff changeset	1399 </property>
0b71746689dc add preference for allowing connections to the octave web site Torsten <ttl@justmail.de> parents: 17935 diff changeset	1400 </widget>
0b71746689dc add preference for allowing connections to the octave web site Torsten <ttl@justmail.de> parents: 17935 diff changeset	1401 </item>
0b71746689dc add preference for allowing connections to the octave web site Torsten <ttl@justmail.de> parents: 17935 diff changeset	1402 <item row="3" column="2">
0b71746689dc add preference for allowing connections to the octave web site Torsten <ttl@justmail.de> parents: 17935 diff changeset	1403 <widget class="QLineEdit" name="proxyUserName">
0b71746689dc add preference for allowing connections to the octave web site Torsten <ttl@justmail.de> parents: 17935 diff changeset	1404 <property name="enabled">
0b71746689dc add preference for allowing connections to the octave web site Torsten <ttl@justmail.de> parents: 17935 diff changeset	1405 <bool>false</bool>
0b71746689dc add preference for allowing connections to the octave web site Torsten <ttl@justmail.de> parents: 17935 diff changeset	1406 </property>
0b71746689dc add preference for allowing connections to the octave web site Torsten <ttl@justmail.de> parents: 17935 diff changeset	1407 </widget>
0b71746689dc add preference for allowing connections to the octave web site Torsten <ttl@justmail.de> parents: 17935 diff changeset	1408 </item>
0b71746689dc add preference for allowing connections to the octave web site Torsten <ttl@justmail.de> parents: 17935 diff changeset	1409 <item row="4" column="2">
0b71746689dc add preference for allowing connections to the octave web site Torsten <ttl@justmail.de> parents: 17935 diff changeset	1410 <widget class="QLineEdit" name="proxyPassword">
0b71746689dc add preference for allowing connections to the octave web site Torsten <ttl@justmail.de> parents: 17935 diff changeset	1411 <property name="enabled">
0b71746689dc add preference for allowing connections to the octave web site Torsten <ttl@justmail.de> parents: 17935 diff changeset	1412 <bool>false</bool>
0b71746689dc add preference for allowing connections to the octave web site Torsten <ttl@justmail.de> parents: 17935 diff changeset	1413 </property>
0b71746689dc add preference for allowing connections to the octave web site Torsten <ttl@justmail.de> parents: 17935 diff changeset	1414 <property name="echoMode">
0b71746689dc add preference for allowing connections to the octave web site Torsten <ttl@justmail.de> parents: 17935 diff changeset	1415 <enum>QLineEdit::Password</enum>
0b71746689dc add preference for allowing connections to the octave web site Torsten <ttl@justmail.de> parents: 17935 diff changeset	1416 </property>
0b71746689dc add preference for allowing connections to the octave web site Torsten <ttl@justmail.de> parents: 17935 diff changeset	1417 </widget>
0b71746689dc add preference for allowing connections to the octave web site Torsten <ttl@justmail.de> parents: 17935 diff changeset	1418 </item>
0b71746689dc add preference for allowing connections to the octave web site Torsten <ttl@justmail.de> parents: 17935 diff changeset	1419 </layout>
13609 b355901aade4 Added username and password field to proxy settings. Jacob Dawid <jacob.dawid@googlemail.com> parents: 13606 diff changeset	1420 </item>
13606 ac9ef5a29460 Added proxy network settings tab and translators file. Jacob Dawid <jacob.dawid@googlemail.com> parents: 13538 diff changeset	1421 </layout>
ac9ef5a29460 Added proxy network settings tab and translators file. Jacob Dawid <jacob.dawid@googlemail.com> parents: 13538 diff changeset	1422 </item>
16703 5cf19370011d add more settings concerning tabs and indentation to the editor settings Torsten <ttl@justmail.de> parents: 16702 diff changeset	1423 <item>
5cf19370011d add more settings concerning tabs and indentation to the editor settings Torsten <ttl@justmail.de> parents: 16702 diff changeset	1424 <spacer name="verticalSpacer_5">
5cf19370011d add more settings concerning tabs and indentation to the editor settings Torsten <ttl@justmail.de> parents: 16702 diff changeset	1425 <property name="orientation">
5cf19370011d add more settings concerning tabs and indentation to the editor settings Torsten <ttl@justmail.de> parents: 16702 diff changeset	1426 <enum>Qt::Vertical</enum>
5cf19370011d add more settings concerning tabs and indentation to the editor settings Torsten <ttl@justmail.de> parents: 16702 diff changeset	1427 </property>
5cf19370011d add more settings concerning tabs and indentation to the editor settings Torsten <ttl@justmail.de> parents: 16702 diff changeset	1428 <property name="sizeHint" stdset="0">
5cf19370011d add more settings concerning tabs and indentation to the editor settings Torsten <ttl@justmail.de> parents: 16702 diff changeset	1429 <size>
5cf19370011d add more settings concerning tabs and indentation to the editor settings Torsten <ttl@justmail.de> parents: 16702 diff changeset	1430 <width>20</width>
5cf19370011d add more settings concerning tabs and indentation to the editor settings Torsten <ttl@justmail.de> parents: 16702 diff changeset	1431 <height>40</height>
5cf19370011d add more settings concerning tabs and indentation to the editor settings Torsten <ttl@justmail.de> parents: 16702 diff changeset	1432 </size>
5cf19370011d add more settings concerning tabs and indentation to the editor settings Torsten <ttl@justmail.de> parents: 16702 diff changeset	1433 </property>
5cf19370011d add more settings concerning tabs and indentation to the editor settings Torsten <ttl@justmail.de> parents: 16702 diff changeset	1434 </spacer>
5cf19370011d add more settings concerning tabs and indentation to the editor settings Torsten <ttl@justmail.de> parents: 16702 diff changeset	1435 </item>
13606 ac9ef5a29460 Added proxy network settings tab and translators file. Jacob Dawid <jacob.dawid@googlemail.com> parents: 13538 diff changeset	1436 </layout>
ac9ef5a29460 Added proxy network settings tab and translators file. Jacob Dawid <jacob.dawid@googlemail.com> parents: 13538 diff changeset	1437 </widget>
13501 86d6c3b90ad7 Added new gui files. Jacob Dawid <jacob.dawid@googlemail.com> parents: diff changeset	1438 </widget>
86d6c3b90ad7 Added new gui files. Jacob Dawid <jacob.dawid@googlemail.com> parents: diff changeset	1439 </item>
15274 c5d09a57ceb2 provide buttons for the settings dialog (bug #36981) Torsten <ttl@justmail.de> parents: 15196 diff changeset	1440 <item>
c5d09a57ceb2 provide buttons for the settings dialog (bug #36981) Torsten <ttl@justmail.de> parents: 15196 diff changeset	1441 <widget class="QDialogButtonBox" name="buttonBox">
c5d09a57ceb2 provide buttons for the settings dialog (bug #36981) Torsten <ttl@justmail.de> parents: 15196 diff changeset	1442 <property name="standardButtons">
c5d09a57ceb2 provide buttons for the settings dialog (bug #36981) Torsten <ttl@justmail.de> parents: 15196 diff changeset	1443 <set>QDialogButtonBox::Cancel\|QDialogButtonBox::Ok</set>
c5d09a57ceb2 provide buttons for the settings dialog (bug #36981) Torsten <ttl@justmail.de> parents: 15196 diff changeset	1444 </property>
c5d09a57ceb2 provide buttons for the settings dialog (bug #36981) Torsten <ttl@justmail.de> parents: 15196 diff changeset	1445 </widget>
c5d09a57ceb2 provide buttons for the settings dialog (bug #36981) Torsten <ttl@justmail.de> parents: 15196 diff changeset	1446 </item>
13501 86d6c3b90ad7 Added new gui files. Jacob Dawid <jacob.dawid@googlemail.com> parents: diff changeset	1447 </layout>
86d6c3b90ad7 Added new gui files. Jacob Dawid <jacob.dawid@googlemail.com> parents: diff changeset	1448 </widget>
86d6c3b90ad7 Added new gui files. Jacob Dawid <jacob.dawid@googlemail.com> parents: diff changeset	1449 <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	1450 <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	1451 <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	1452 <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	1453 <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	1454 <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	1455 <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	1456 <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	1457 <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	1458 <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	1459 <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	1460 </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	1461 <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	1462 <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	1463 <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	1464 </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	1465 </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	1466 </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	1467 <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	1468 <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	1469 <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	1470 <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	1471 <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	1472 <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	1473 <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	1474 <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	1475 <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	1476 </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	1477 <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	1478 <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	1479 <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	1480 </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	1481 </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	1482 </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	1483 <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	1484 <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	1485 <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	1486 <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	1487 <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	1488 <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	1489 <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	1490 <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	1491 <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	1492 </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	1493 <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	1494 <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	1495 <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	1496 </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	1497 </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	1498 </connection>
13606 ac9ef5a29460 Added proxy network settings tab and translators file. Jacob Dawid <jacob.dawid@googlemail.com> parents: 13538 diff changeset	1499 <connection>
ac9ef5a29460 Added proxy network settings tab and translators file. Jacob Dawid <jacob.dawid@googlemail.com> parents: 13538 diff changeset	1500 <sender>useProxyServer</sender>
ac9ef5a29460 Added proxy network settings tab and translators file. Jacob Dawid <jacob.dawid@googlemail.com> parents: 13538 diff changeset	1501 <signal>toggled(bool)</signal>
ac9ef5a29460 Added proxy network settings tab and translators file. Jacob Dawid <jacob.dawid@googlemail.com> parents: 13538 diff changeset	1502 <receiver>proxyType</receiver>
ac9ef5a29460 Added proxy network settings tab and translators file. Jacob Dawid <jacob.dawid@googlemail.com> parents: 13538 diff changeset	1503 <slot>setEnabled(bool)</slot>
ac9ef5a29460 Added proxy network settings tab and translators file. Jacob Dawid <jacob.dawid@googlemail.com> parents: 13538 diff changeset	1504 <hints>
ac9ef5a29460 Added proxy network settings tab and translators file. Jacob Dawid <jacob.dawid@googlemail.com> parents: 13538 diff changeset	1505 <hint type="sourcelabel">
ac9ef5a29460 Added proxy network settings tab and translators file. Jacob Dawid <jacob.dawid@googlemail.com> parents: 13538 diff changeset	1506 <x>249</x>
ac9ef5a29460 Added proxy network settings tab and translators file. Jacob Dawid <jacob.dawid@googlemail.com> parents: 13538 diff changeset	1507 <y>59</y>
ac9ef5a29460 Added proxy network settings tab and translators file. Jacob Dawid <jacob.dawid@googlemail.com> parents: 13538 diff changeset	1508 </hint>
ac9ef5a29460 Added proxy network settings tab and translators file. Jacob Dawid <jacob.dawid@googlemail.com> parents: 13538 diff changeset	1509 <hint type="destinationlabel">
ac9ef5a29460 Added proxy network settings tab and translators file. Jacob Dawid <jacob.dawid@googlemail.com> parents: 13538 diff changeset	1510 <x>291</x>
ac9ef5a29460 Added proxy network settings tab and translators file. Jacob Dawid <jacob.dawid@googlemail.com> parents: 13538 diff changeset	1511 <y>91</y>
ac9ef5a29460 Added proxy network settings tab and translators file. Jacob Dawid <jacob.dawid@googlemail.com> parents: 13538 diff changeset	1512 </hint>
ac9ef5a29460 Added proxy network settings tab and translators file. Jacob Dawid <jacob.dawid@googlemail.com> parents: 13538 diff changeset	1513 </hints>
ac9ef5a29460 Added proxy network settings tab and translators file. Jacob Dawid <jacob.dawid@googlemail.com> parents: 13538 diff changeset	1514 </connection>
ac9ef5a29460 Added proxy network settings tab and translators file. Jacob Dawid <jacob.dawid@googlemail.com> parents: 13538 diff changeset	1515 <connection>
ac9ef5a29460 Added proxy network settings tab and translators file. Jacob Dawid <jacob.dawid@googlemail.com> parents: 13538 diff changeset	1516 <sender>useProxyServer</sender>
ac9ef5a29460 Added proxy network settings tab and translators file. Jacob Dawid <jacob.dawid@googlemail.com> parents: 13538 diff changeset	1517 <signal>toggled(bool)</signal>
ac9ef5a29460 Added proxy network settings tab and translators file. Jacob Dawid <jacob.dawid@googlemail.com> parents: 13538 diff changeset	1518 <receiver>proxyHostName</receiver>
ac9ef5a29460 Added proxy network settings tab and translators file. Jacob Dawid <jacob.dawid@googlemail.com> parents: 13538 diff changeset	1519 <slot>setEnabled(bool)</slot>
ac9ef5a29460 Added proxy network settings tab and translators file. Jacob Dawid <jacob.dawid@googlemail.com> parents: 13538 diff changeset	1520 <hints>
ac9ef5a29460 Added proxy network settings tab and translators file. Jacob Dawid <jacob.dawid@googlemail.com> parents: 13538 diff changeset	1521 <hint type="sourcelabel">
ac9ef5a29460 Added proxy network settings tab and translators file. Jacob Dawid <jacob.dawid@googlemail.com> parents: 13538 diff changeset	1522 <x>249</x>
ac9ef5a29460 Added proxy network settings tab and translators file. Jacob Dawid <jacob.dawid@googlemail.com> parents: 13538 diff changeset	1523 <y>59</y>
ac9ef5a29460 Added proxy network settings tab and translators file. Jacob Dawid <jacob.dawid@googlemail.com> parents: 13538 diff changeset	1524 </hint>
ac9ef5a29460 Added proxy network settings tab and translators file. Jacob Dawid <jacob.dawid@googlemail.com> parents: 13538 diff changeset	1525 <hint type="destinationlabel">
ac9ef5a29460 Added proxy network settings tab and translators file. Jacob Dawid <jacob.dawid@googlemail.com> parents: 13538 diff changeset	1526 <x>291</x>
ac9ef5a29460 Added proxy network settings tab and translators file. Jacob Dawid <jacob.dawid@googlemail.com> parents: 13538 diff changeset	1527 <y>124</y>
ac9ef5a29460 Added proxy network settings tab and translators file. Jacob Dawid <jacob.dawid@googlemail.com> parents: 13538 diff changeset	1528 </hint>
ac9ef5a29460 Added proxy network settings tab and translators file. Jacob Dawid <jacob.dawid@googlemail.com> parents: 13538 diff changeset	1529 </hints>
ac9ef5a29460 Added proxy network settings tab and translators file. Jacob Dawid <jacob.dawid@googlemail.com> parents: 13538 diff changeset	1530 </connection>
ac9ef5a29460 Added proxy network settings tab and translators file. Jacob Dawid <jacob.dawid@googlemail.com> parents: 13538 diff changeset	1531 <connection>
ac9ef5a29460 Added proxy network settings tab and translators file. Jacob Dawid <jacob.dawid@googlemail.com> parents: 13538 diff changeset	1532 <sender>useProxyServer</sender>
ac9ef5a29460 Added proxy network settings tab and translators file. Jacob Dawid <jacob.dawid@googlemail.com> parents: 13538 diff changeset	1533 <signal>toggled(bool)</signal>
ac9ef5a29460 Added proxy network settings tab and translators file. Jacob Dawid <jacob.dawid@googlemail.com> parents: 13538 diff changeset	1534 <receiver>proxyPort</receiver>
ac9ef5a29460 Added proxy network settings tab and translators file. Jacob Dawid <jacob.dawid@googlemail.com> parents: 13538 diff changeset	1535 <slot>setEnabled(bool)</slot>
ac9ef5a29460 Added proxy network settings tab and translators file. Jacob Dawid <jacob.dawid@googlemail.com> parents: 13538 diff changeset	1536 <hints>
ac9ef5a29460 Added proxy network settings tab and translators file. Jacob Dawid <jacob.dawid@googlemail.com> parents: 13538 diff changeset	1537 <hint type="sourcelabel">
ac9ef5a29460 Added proxy network settings tab and translators file. Jacob Dawid <jacob.dawid@googlemail.com> parents: 13538 diff changeset	1538 <x>249</x>
ac9ef5a29460 Added proxy network settings tab and translators file. Jacob Dawid <jacob.dawid@googlemail.com> parents: 13538 diff changeset	1539 <y>59</y>
ac9ef5a29460 Added proxy network settings tab and translators file. Jacob Dawid <jacob.dawid@googlemail.com> parents: 13538 diff changeset	1540 </hint>
ac9ef5a29460 Added proxy network settings tab and translators file. Jacob Dawid <jacob.dawid@googlemail.com> parents: 13538 diff changeset	1541 <hint type="destinationlabel">
13659 d98c6ef06dff included some editor setting into the setting dialog ttl <ttl@justmail.de> parents: 13609 diff changeset	1542 <x>364</x>
d98c6ef06dff included some editor setting into the setting dialog ttl <ttl@justmail.de> parents: 13609 diff changeset	1543 <y>154</y>
13606 ac9ef5a29460 Added proxy network settings tab and translators file. Jacob Dawid <jacob.dawid@googlemail.com> parents: 13538 diff changeset	1544 </hint>
ac9ef5a29460 Added proxy network settings tab and translators file. Jacob Dawid <jacob.dawid@googlemail.com> parents: 13538 diff changeset	1545 </hints>
ac9ef5a29460 Added proxy network settings tab and translators file. Jacob Dawid <jacob.dawid@googlemail.com> parents: 13538 diff changeset	1546 </connection>
ac9ef5a29460 Added proxy network settings tab and translators file. Jacob Dawid <jacob.dawid@googlemail.com> parents: 13538 diff changeset	1547 <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	1548 <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	1549 <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	1550 <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	1551 <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	1552 <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	1553 <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	1554 <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	1555 <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	1556 </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	1557 <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	1558 <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	1559 <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	1560 </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	1561 </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	1562 </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	1563 <connection>
13606 ac9ef5a29460 Added proxy network settings tab and translators file. Jacob Dawid <jacob.dawid@googlemail.com> parents: 13538 diff changeset	1564 <sender>useProxyServer</sender>
ac9ef5a29460 Added proxy network settings tab and translators file. Jacob Dawid <jacob.dawid@googlemail.com> parents: 13538 diff changeset	1565 <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	1566 <receiver>label_7</receiver>
13606 ac9ef5a29460 Added proxy network settings tab and translators file. Jacob Dawid <jacob.dawid@googlemail.com> parents: 13538 diff changeset	1567 <slot>setEnabled(bool)</slot>
ac9ef5a29460 Added proxy network settings tab and translators file. Jacob Dawid <jacob.dawid@googlemail.com> parents: 13538 diff changeset	1568 <hints>
ac9ef5a29460 Added proxy network settings tab and translators file. Jacob Dawid <jacob.dawid@googlemail.com> parents: 13538 diff changeset	1569 <hint type="sourcelabel">
ac9ef5a29460 Added proxy network settings tab and translators file. Jacob Dawid <jacob.dawid@googlemail.com> parents: 13538 diff changeset	1570 <x>249</x>
ac9ef5a29460 Added proxy network settings tab and translators file. Jacob Dawid <jacob.dawid@googlemail.com> parents: 13538 diff changeset	1571 <y>59</y>
ac9ef5a29460 Added proxy network settings tab and translators file. Jacob Dawid <jacob.dawid@googlemail.com> parents: 13538 diff changeset	1572 </hint>
ac9ef5a29460 Added proxy network settings tab and translators file. Jacob Dawid <jacob.dawid@googlemail.com> parents: 13538 diff changeset	1573 <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	1574 <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	1575 <y>212</y>
13606 ac9ef5a29460 Added proxy network settings tab and translators file. Jacob Dawid <jacob.dawid@googlemail.com> parents: 13538 diff changeset	1576 </hint>
ac9ef5a29460 Added proxy network settings tab and translators file. Jacob Dawid <jacob.dawid@googlemail.com> parents: 13538 diff changeset	1577 </hints>
ac9ef5a29460 Added proxy network settings tab and translators file. Jacob Dawid <jacob.dawid@googlemail.com> parents: 13538 diff changeset	1578 </connection>
ac9ef5a29460 Added proxy network settings tab and translators file. Jacob Dawid <jacob.dawid@googlemail.com> parents: 13538 diff changeset	1579 <connection>
13609 b355901aade4 Added username and password field to proxy settings. Jacob Dawid <jacob.dawid@googlemail.com> parents: 13606 diff changeset	1580 <sender>useProxyServer</sender>
b355901aade4 Added username and password field to proxy settings. Jacob Dawid <jacob.dawid@googlemail.com> parents: 13606 diff changeset	1581 <signal>toggled(bool)</signal>
b355901aade4 Added username and password field to proxy settings. Jacob Dawid <jacob.dawid@googlemail.com> parents: 13606 diff changeset	1582 <receiver>proxyUserName</receiver>
b355901aade4 Added username and password field to proxy settings. Jacob Dawid <jacob.dawid@googlemail.com> parents: 13606 diff changeset	1583 <slot>setEnabled(bool)</slot>
b355901aade4 Added username and password field to proxy settings. Jacob Dawid <jacob.dawid@googlemail.com> parents: 13606 diff changeset	1584 <hints>
b355901aade4 Added username and password field to proxy settings. Jacob Dawid <jacob.dawid@googlemail.com> parents: 13606 diff changeset	1585 <hint type="sourcelabel">
b355901aade4 Added username and password field to proxy settings. Jacob Dawid <jacob.dawid@googlemail.com> parents: 13606 diff changeset	1586 <x>249</x>
b355901aade4 Added username and password field to proxy settings. Jacob Dawid <jacob.dawid@googlemail.com> parents: 13606 diff changeset	1587 <y>59</y>
b355901aade4 Added username and password field to proxy settings. Jacob Dawid <jacob.dawid@googlemail.com> parents: 13606 diff changeset	1588 </hint>
b355901aade4 Added username and password field to proxy settings. Jacob Dawid <jacob.dawid@googlemail.com> parents: 13606 diff changeset	1589 <hint type="destinationlabel">
13659 d98c6ef06dff included some editor setting into the setting dialog ttl <ttl@justmail.de> parents: 13609 diff changeset	1590 <x>364</x>
d98c6ef06dff included some editor setting into the setting dialog ttl <ttl@justmail.de> parents: 13609 diff changeset	1591 <y>184</y>
13609 b355901aade4 Added username and password field to proxy settings. Jacob Dawid <jacob.dawid@googlemail.com> parents: 13606 diff changeset	1592 </hint>
b355901aade4 Added username and password field to proxy settings. Jacob Dawid <jacob.dawid@googlemail.com> parents: 13606 diff changeset	1593 </hints>
b355901aade4 Added username and password field to proxy settings. Jacob Dawid <jacob.dawid@googlemail.com> parents: 13606 diff changeset	1594 </connection>
b355901aade4 Added username and password field to proxy settings. Jacob Dawid <jacob.dawid@googlemail.com> parents: 13606 diff changeset	1595 <connection>
b355901aade4 Added username and password field to proxy settings. Jacob Dawid <jacob.dawid@googlemail.com> parents: 13606 diff changeset	1596 <sender>useProxyServer</sender>
b355901aade4 Added username and password field to proxy settings. Jacob Dawid <jacob.dawid@googlemail.com> parents: 13606 diff changeset	1597 <signal>toggled(bool)</signal>
b355901aade4 Added username and password field to proxy settings. Jacob Dawid <jacob.dawid@googlemail.com> parents: 13606 diff changeset	1598 <receiver>proxyPassword</receiver>
b355901aade4 Added username and password field to proxy settings. Jacob Dawid <jacob.dawid@googlemail.com> parents: 13606 diff changeset	1599 <slot>setEnabled(bool)</slot>
b355901aade4 Added username and password field to proxy settings. Jacob Dawid <jacob.dawid@googlemail.com> parents: 13606 diff changeset	1600 <hints>
b355901aade4 Added username and password field to proxy settings. Jacob Dawid <jacob.dawid@googlemail.com> parents: 13606 diff changeset	1601 <hint type="sourcelabel">
b355901aade4 Added username and password field to proxy settings. Jacob Dawid <jacob.dawid@googlemail.com> parents: 13606 diff changeset	1602 <x>249</x>
b355901aade4 Added username and password field to proxy settings. Jacob Dawid <jacob.dawid@googlemail.com> parents: 13606 diff changeset	1603 <y>59</y>
b355901aade4 Added username and password field to proxy settings. Jacob Dawid <jacob.dawid@googlemail.com> parents: 13606 diff changeset	1604 </hint>
b355901aade4 Added username and password field to proxy settings. Jacob Dawid <jacob.dawid@googlemail.com> parents: 13606 diff changeset	1605 <hint type="destinationlabel">
13659 d98c6ef06dff included some editor setting into the setting dialog ttl <ttl@justmail.de> parents: 13609 diff changeset	1606 <x>364</x>
d98c6ef06dff included some editor setting into the setting dialog ttl <ttl@justmail.de> parents: 13609 diff changeset	1607 <y>214</y>
13609 b355901aade4 Added username and password field to proxy settings. Jacob Dawid <jacob.dawid@googlemail.com> parents: 13606 diff changeset	1608 </hint>
b355901aade4 Added username and password field to proxy settings. Jacob Dawid <jacob.dawid@googlemail.com> parents: 13606 diff changeset	1609 </hints>
b355901aade4 Added username and password field to proxy settings. Jacob Dawid <jacob.dawid@googlemail.com> parents: 13606 diff changeset	1610 </connection>
b355901aade4 Added username and password field to proxy settings. Jacob Dawid <jacob.dawid@googlemail.com> parents: 13606 diff changeset	1611 <connection>
b355901aade4 Added username and password field to proxy settings. Jacob Dawid <jacob.dawid@googlemail.com> parents: 13606 diff changeset	1612 <sender>useProxyServer</sender>
b355901aade4 Added username and password field to proxy settings. Jacob Dawid <jacob.dawid@googlemail.com> parents: 13606 diff changeset	1613 <signal>toggled(bool)</signal>
b355901aade4 Added username and password field to proxy settings. Jacob Dawid <jacob.dawid@googlemail.com> parents: 13606 diff changeset	1614 <receiver>label_6</receiver>
b355901aade4 Added username and password field to proxy settings. Jacob Dawid <jacob.dawid@googlemail.com> parents: 13606 diff changeset	1615 <slot>setEnabled(bool)</slot>
b355901aade4 Added username and password field to proxy settings. Jacob Dawid <jacob.dawid@googlemail.com> parents: 13606 diff changeset	1616 <hints>
b355901aade4 Added username and password field to proxy settings. Jacob Dawid <jacob.dawid@googlemail.com> parents: 13606 diff changeset	1617 <hint type="sourcelabel">
b355901aade4 Added username and password field to proxy settings. Jacob Dawid <jacob.dawid@googlemail.com> parents: 13606 diff changeset	1618 <x>249</x>
b355901aade4 Added username and password field to proxy settings. Jacob Dawid <jacob.dawid@googlemail.com> parents: 13606 diff changeset	1619 <y>59</y>
b355901aade4 Added username and password field to proxy settings. Jacob Dawid <jacob.dawid@googlemail.com> parents: 13606 diff changeset	1620 </hint>
b355901aade4 Added username and password field to proxy settings. Jacob Dawid <jacob.dawid@googlemail.com> parents: 13606 diff changeset	1621 <hint type="destinationlabel">
13659 d98c6ef06dff included some editor setting into the setting dialog ttl <ttl@justmail.de> parents: 13609 diff changeset	1622 <x>68</x>
d98c6ef06dff included some editor setting into the setting dialog ttl <ttl@justmail.de> parents: 13609 diff changeset	1623 <y>182</y>
13609 b355901aade4 Added username and password field to proxy settings. Jacob Dawid <jacob.dawid@googlemail.com> parents: 13606 diff changeset	1624 </hint>
b355901aade4 Added username and password field to proxy settings. Jacob Dawid <jacob.dawid@googlemail.com> parents: 13606 diff changeset	1625 </hints>
b355901aade4 Added username and password field to proxy settings. Jacob Dawid <jacob.dawid@googlemail.com> parents: 13606 diff changeset	1626 </connection>
b355901aade4 Added username and password field to proxy settings. Jacob Dawid <jacob.dawid@googlemail.com> parents: 13606 diff changeset	1627 <connection>
15274 c5d09a57ceb2 provide buttons for the settings dialog (bug #36981) Torsten <ttl@justmail.de> parents: 15196 diff changeset	1628 <sender>buttonBox</sender>
c5d09a57ceb2 provide buttons for the settings dialog (bug #36981) Torsten <ttl@justmail.de> parents: 15196 diff changeset	1629 <signal>accepted()</signal>
c5d09a57ceb2 provide buttons for the settings dialog (bug #36981) Torsten <ttl@justmail.de> parents: 15196 diff changeset	1630 <receiver>settings_dialog</receiver>
c5d09a57ceb2 provide buttons for the settings dialog (bug #36981) Torsten <ttl@justmail.de> parents: 15196 diff changeset	1631 <slot>accept()</slot>
c5d09a57ceb2 provide buttons for the settings dialog (bug #36981) Torsten <ttl@justmail.de> parents: 15196 diff changeset	1632 <hints>
c5d09a57ceb2 provide buttons for the settings dialog (bug #36981) Torsten <ttl@justmail.de> parents: 15196 diff changeset	1633 <hint type="sourcelabel">
c5d09a57ceb2 provide buttons for the settings dialog (bug #36981) Torsten <ttl@justmail.de> parents: 15196 diff changeset	1634 <x>299</x>
c5d09a57ceb2 provide buttons for the settings dialog (bug #36981) Torsten <ttl@justmail.de> parents: 15196 diff changeset	1635 <y>366</y>
c5d09a57ceb2 provide buttons for the settings dialog (bug #36981) Torsten <ttl@justmail.de> parents: 15196 diff changeset	1636 </hint>
c5d09a57ceb2 provide buttons for the settings dialog (bug #36981) Torsten <ttl@justmail.de> parents: 15196 diff changeset	1637 <hint type="destinationlabel">
c5d09a57ceb2 provide buttons for the settings dialog (bug #36981) Torsten <ttl@justmail.de> parents: 15196 diff changeset	1638 <x>299</x>
c5d09a57ceb2 provide buttons for the settings dialog (bug #36981) Torsten <ttl@justmail.de> parents: 15196 diff changeset	1639 <y>199</y>
c5d09a57ceb2 provide buttons for the settings dialog (bug #36981) Torsten <ttl@justmail.de> parents: 15196 diff changeset	1640 </hint>
c5d09a57ceb2 provide buttons for the settings dialog (bug #36981) Torsten <ttl@justmail.de> parents: 15196 diff changeset	1641 </hints>
c5d09a57ceb2 provide buttons for the settings dialog (bug #36981) Torsten <ttl@justmail.de> parents: 15196 diff changeset	1642 </connection>
c5d09a57ceb2 provide buttons for the settings dialog (bug #36981) Torsten <ttl@justmail.de> parents: 15196 diff changeset	1643 <connection>
c5d09a57ceb2 provide buttons for the settings dialog (bug #36981) Torsten <ttl@justmail.de> parents: 15196 diff changeset	1644 <sender>buttonBox</sender>
c5d09a57ceb2 provide buttons for the settings dialog (bug #36981) Torsten <ttl@justmail.de> parents: 15196 diff changeset	1645 <signal>rejected()</signal>
c5d09a57ceb2 provide buttons for the settings dialog (bug #36981) Torsten <ttl@justmail.de> parents: 15196 diff changeset	1646 <receiver>settings_dialog</receiver>
c5d09a57ceb2 provide buttons for the settings dialog (bug #36981) Torsten <ttl@justmail.de> parents: 15196 diff changeset	1647 <slot>reject()</slot>
c5d09a57ceb2 provide buttons for the settings dialog (bug #36981) Torsten <ttl@justmail.de> parents: 15196 diff changeset	1648 <hints>
c5d09a57ceb2 provide buttons for the settings dialog (bug #36981) Torsten <ttl@justmail.de> parents: 15196 diff changeset	1649 <hint type="sourcelabel">
c5d09a57ceb2 provide buttons for the settings dialog (bug #36981) Torsten <ttl@justmail.de> parents: 15196 diff changeset	1650 <x>299</x>
c5d09a57ceb2 provide buttons for the settings dialog (bug #36981) Torsten <ttl@justmail.de> parents: 15196 diff changeset	1651 <y>366</y>
c5d09a57ceb2 provide buttons for the settings dialog (bug #36981) Torsten <ttl@justmail.de> parents: 15196 diff changeset	1652 </hint>
c5d09a57ceb2 provide buttons for the settings dialog (bug #36981) Torsten <ttl@justmail.de> parents: 15196 diff changeset	1653 <hint type="destinationlabel">
c5d09a57ceb2 provide buttons for the settings dialog (bug #36981) Torsten <ttl@justmail.de> parents: 15196 diff changeset	1654 <x>299</x>
c5d09a57ceb2 provide buttons for the settings dialog (bug #36981) Torsten <ttl@justmail.de> parents: 15196 diff changeset	1655 <y>199</y>
c5d09a57ceb2 provide buttons for the settings dialog (bug #36981) Torsten <ttl@justmail.de> parents: 15196 diff changeset	1656 </hint>
c5d09a57ceb2 provide buttons for the settings dialog (bug #36981) Torsten <ttl@justmail.de> parents: 15196 diff changeset	1657 </hints>
c5d09a57ceb2 provide buttons for the settings dialog (bug #36981) Torsten <ttl@justmail.de> parents: 15196 diff changeset	1658 </connection>
16407 4d438dffbfac gui: call external editor when opening a file and custom editor is selected Torsten <ttl@justmail.de> parents: 16402 diff changeset	1659 <connection>
4d438dffbfac gui: call external editor when opening a file and custom editor is selected Torsten <ttl@justmail.de> parents: 16402 diff changeset	1660 <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	1661 <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	1662 <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	1663 <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	1664 <hints>
4d438dffbfac gui: call external editor when opening a file and custom editor is selected Torsten <ttl@justmail.de> parents: 16402 diff changeset	1665 <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	1666 <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	1667 <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	1668 </hint>
4d438dffbfac gui: call external editor when opening a file and custom editor is selected Torsten <ttl@justmail.de> parents: 16402 diff changeset	1669 <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	1670 <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	1671 <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	1672 </hint>
4d438dffbfac gui: call external editor when opening a file and custom editor is selected Torsten <ttl@justmail.de> parents: 16402 diff changeset	1673 </hints>
4d438dffbfac gui: call external editor when opening a file and custom editor is selected Torsten <ttl@justmail.de> parents: 16402 diff changeset	1674 </connection>
16679 cf939872811c options for auto completion threshold, source and word replacement in settings Torsten <ttl@justmail.de> parents: 16620 diff changeset	1675 <connection>
cf939872811c options for auto completion threshold, source and word replacement in settings Torsten <ttl@justmail.de> parents: 16620 diff changeset	1676 <sender>editor_codeCompletion</sender>
cf939872811c options for auto completion threshold, source and word replacement in settings Torsten <ttl@justmail.de> parents: 16620 diff changeset	1677 <signal>toggled(bool)</signal>
cf939872811c options for auto completion threshold, source and word replacement in settings Torsten <ttl@justmail.de> parents: 16620 diff changeset	1678 <receiver>editor_label_ac_threshold</receiver>
cf939872811c options for auto completion threshold, source and word replacement in settings Torsten <ttl@justmail.de> parents: 16620 diff changeset	1679 <slot>setEnabled(bool)</slot>
cf939872811c options for auto completion threshold, source and word replacement in settings Torsten <ttl@justmail.de> parents: 16620 diff changeset	1680 <hints>
cf939872811c options for auto completion threshold, source and word replacement in settings Torsten <ttl@justmail.de> parents: 16620 diff changeset	1681 <hint type="sourcelabel">
cf939872811c options for auto completion threshold, source and word replacement in settings Torsten <ttl@justmail.de> parents: 16620 diff changeset	1682 <x>83</x>
cf939872811c options for auto completion threshold, source and word replacement in settings Torsten <ttl@justmail.de> parents: 16620 diff changeset	1683 <y>223</y>
cf939872811c options for auto completion threshold, source and word replacement in settings Torsten <ttl@justmail.de> parents: 16620 diff changeset	1684 </hint>
cf939872811c options for auto completion threshold, source and word replacement in settings Torsten <ttl@justmail.de> parents: 16620 diff changeset	1685 <hint type="destinationlabel">
cf939872811c options for auto completion threshold, source and word replacement in settings Torsten <ttl@justmail.de> parents: 16620 diff changeset	1686 <x>288</x>
cf939872811c options for auto completion threshold, source and word replacement in settings Torsten <ttl@justmail.de> parents: 16620 diff changeset	1687 <y>223</y>
cf939872811c options for auto completion threshold, source and word replacement in settings Torsten <ttl@justmail.de> parents: 16620 diff changeset	1688 </hint>
cf939872811c options for auto completion threshold, source and word replacement in settings Torsten <ttl@justmail.de> parents: 16620 diff changeset	1689 </hints>
cf939872811c options for auto completion threshold, source and word replacement in settings Torsten <ttl@justmail.de> parents: 16620 diff changeset	1690 </connection>
cf939872811c options for auto completion threshold, source and word replacement in settings Torsten <ttl@justmail.de> parents: 16620 diff changeset	1691 <connection>
cf939872811c options for auto completion threshold, source and word replacement in settings Torsten <ttl@justmail.de> parents: 16620 diff changeset	1692 <sender>editor_codeCompletion</sender>
cf939872811c options for auto completion threshold, source and word replacement in settings Torsten <ttl@justmail.de> parents: 16620 diff changeset	1693 <signal>toggled(bool)</signal>
cf939872811c options for auto completion threshold, source and word replacement in settings Torsten <ttl@justmail.de> parents: 16620 diff changeset	1694 <receiver>editor_spinbox_ac_threshold</receiver>
cf939872811c options for auto completion threshold, source and word replacement in settings Torsten <ttl@justmail.de> parents: 16620 diff changeset	1695 <slot>setEnabled(bool)</slot>
cf939872811c options for auto completion threshold, source and word replacement in settings Torsten <ttl@justmail.de> parents: 16620 diff changeset	1696 <hints>
cf939872811c options for auto completion threshold, source and word replacement in settings Torsten <ttl@justmail.de> parents: 16620 diff changeset	1697 <hint type="sourcelabel">
cf939872811c options for auto completion threshold, source and word replacement in settings Torsten <ttl@justmail.de> parents: 16620 diff changeset	1698 <x>83</x>
cf939872811c options for auto completion threshold, source and word replacement in settings Torsten <ttl@justmail.de> parents: 16620 diff changeset	1699 <y>223</y>
cf939872811c options for auto completion threshold, source and word replacement in settings Torsten <ttl@justmail.de> parents: 16620 diff changeset	1700 </hint>
cf939872811c options for auto completion threshold, source and word replacement in settings Torsten <ttl@justmail.de> parents: 16620 diff changeset	1701 <hint type="destinationlabel">
cf939872811c options for auto completion threshold, source and word replacement in settings Torsten <ttl@justmail.de> parents: 16620 diff changeset	1702 <x>412</x>
cf939872811c options for auto completion threshold, source and word replacement in settings Torsten <ttl@justmail.de> parents: 16620 diff changeset	1703 <y>223</y>
cf939872811c options for auto completion threshold, source and word replacement in settings Torsten <ttl@justmail.de> parents: 16620 diff changeset	1704 </hint>
cf939872811c options for auto completion threshold, source and word replacement in settings Torsten <ttl@justmail.de> parents: 16620 diff changeset	1705 </hints>
cf939872811c options for auto completion threshold, source and word replacement in settings Torsten <ttl@justmail.de> parents: 16620 diff changeset	1706 </connection>
cf939872811c options for auto completion threshold, source and word replacement in settings Torsten <ttl@justmail.de> parents: 16620 diff changeset	1707 <connection>
cf939872811c options for auto completion threshold, source and word replacement in settings Torsten <ttl@justmail.de> parents: 16620 diff changeset	1708 <sender>editor_codeCompletion</sender>
cf939872811c options for auto completion threshold, source and word replacement in settings Torsten <ttl@justmail.de> parents: 16620 diff changeset	1709 <signal>toggled(bool)</signal>
cf939872811c options for auto completion threshold, source and word replacement in settings Torsten <ttl@justmail.de> parents: 16620 diff changeset	1710 <receiver>editor_checkbox_ac_keywords</receiver>
cf939872811c options for auto completion threshold, source and word replacement in settings Torsten <ttl@justmail.de> parents: 16620 diff changeset	1711 <slot>setEnabled(bool)</slot>
cf939872811c options for auto completion threshold, source and word replacement in settings Torsten <ttl@justmail.de> parents: 16620 diff changeset	1712 <hints>
cf939872811c options for auto completion threshold, source and word replacement in settings Torsten <ttl@justmail.de> parents: 16620 diff changeset	1713 <hint type="sourcelabel">
cf939872811c options for auto completion threshold, source and word replacement in settings Torsten <ttl@justmail.de> parents: 16620 diff changeset	1714 <x>83</x>
cf939872811c options for auto completion threshold, source and word replacement in settings Torsten <ttl@justmail.de> parents: 16620 diff changeset	1715 <y>170</y>
cf939872811c options for auto completion threshold, source and word replacement in settings Torsten <ttl@justmail.de> parents: 16620 diff changeset	1716 </hint>
cf939872811c options for auto completion threshold, source and word replacement in settings Torsten <ttl@justmail.de> parents: 16620 diff changeset	1717 <hint type="destinationlabel">
cf939872811c options for auto completion threshold, source and word replacement in settings Torsten <ttl@justmail.de> parents: 16620 diff changeset	1718 <x>238</x>
cf939872811c options for auto completion threshold, source and word replacement in settings Torsten <ttl@justmail.de> parents: 16620 diff changeset	1719 <y>201</y>
cf939872811c options for auto completion threshold, source and word replacement in settings Torsten <ttl@justmail.de> parents: 16620 diff changeset	1720 </hint>
cf939872811c options for auto completion threshold, source and word replacement in settings Torsten <ttl@justmail.de> parents: 16620 diff changeset	1721 </hints>
cf939872811c options for auto completion threshold, source and word replacement in settings Torsten <ttl@justmail.de> parents: 16620 diff changeset	1722 </connection>
cf939872811c options for auto completion threshold, source and word replacement in settings Torsten <ttl@justmail.de> parents: 16620 diff changeset	1723 <connection>
cf939872811c options for auto completion threshold, source and word replacement in settings Torsten <ttl@justmail.de> parents: 16620 diff changeset	1724 <sender>editor_codeCompletion</sender>
cf939872811c options for auto completion threshold, source and word replacement in settings Torsten <ttl@justmail.de> parents: 16620 diff changeset	1725 <signal>toggled(bool)</signal>
cf939872811c options for auto completion threshold, source and word replacement in settings Torsten <ttl@justmail.de> parents: 16620 diff changeset	1726 <receiver>editor_checkbox_ac_document</receiver>
cf939872811c options for auto completion threshold, source and word replacement in settings Torsten <ttl@justmail.de> parents: 16620 diff changeset	1727 <slot>setEnabled(bool)</slot>
cf939872811c options for auto completion threshold, source and word replacement in settings Torsten <ttl@justmail.de> parents: 16620 diff changeset	1728 <hints>
cf939872811c options for auto completion threshold, source and word replacement in settings Torsten <ttl@justmail.de> parents: 16620 diff changeset	1729 <hint type="sourcelabel">
cf939872811c options for auto completion threshold, source and word replacement in settings Torsten <ttl@justmail.de> parents: 16620 diff changeset	1730 <x>83</x>
cf939872811c options for auto completion threshold, source and word replacement in settings Torsten <ttl@justmail.de> parents: 16620 diff changeset	1731 <y>170</y>
cf939872811c options for auto completion threshold, source and word replacement in settings Torsten <ttl@justmail.de> parents: 16620 diff changeset	1732 </hint>
cf939872811c options for auto completion threshold, source and word replacement in settings Torsten <ttl@justmail.de> parents: 16620 diff changeset	1733 <hint type="destinationlabel">
cf939872811c options for auto completion threshold, source and word replacement in settings Torsten <ttl@justmail.de> parents: 16620 diff changeset	1734 <x>390</x>
cf939872811c options for auto completion threshold, source and word replacement in settings Torsten <ttl@justmail.de> parents: 16620 diff changeset	1735 <y>201</y>
cf939872811c options for auto completion threshold, source and word replacement in settings Torsten <ttl@justmail.de> parents: 16620 diff changeset	1736 </hint>
cf939872811c options for auto completion threshold, source and word replacement in settings Torsten <ttl@justmail.de> parents: 16620 diff changeset	1737 </hints>
cf939872811c options for auto completion threshold, source and word replacement in settings Torsten <ttl@justmail.de> parents: 16620 diff changeset	1738 </connection>
cf939872811c options for auto completion threshold, source and word replacement in settings Torsten <ttl@justmail.de> parents: 16620 diff changeset	1739 <connection>
cf939872811c options for auto completion threshold, source and word replacement in settings Torsten <ttl@justmail.de> parents: 16620 diff changeset	1740 <sender>editor_codeCompletion</sender>
cf939872811c options for auto completion threshold, source and word replacement in settings Torsten <ttl@justmail.de> parents: 16620 diff changeset	1741 <signal>toggled(bool)</signal>
cf939872811c options for auto completion threshold, source and word replacement in settings Torsten <ttl@justmail.de> parents: 16620 diff changeset	1742 <receiver>editor_checkbox_ac_replace</receiver>
cf939872811c options for auto completion threshold, source and word replacement in settings Torsten <ttl@justmail.de> parents: 16620 diff changeset	1743 <slot>setEnabled(bool)</slot>
cf939872811c options for auto completion threshold, source and word replacement in settings Torsten <ttl@justmail.de> parents: 16620 diff changeset	1744 <hints>
cf939872811c options for auto completion threshold, source and word replacement in settings Torsten <ttl@justmail.de> parents: 16620 diff changeset	1745 <hint type="sourcelabel">
cf939872811c options for auto completion threshold, source and word replacement in settings Torsten <ttl@justmail.de> parents: 16620 diff changeset	1746 <x>83</x>
cf939872811c options for auto completion threshold, source and word replacement in settings Torsten <ttl@justmail.de> parents: 16620 diff changeset	1747 <y>170</y>
cf939872811c options for auto completion threshold, source and word replacement in settings Torsten <ttl@justmail.de> parents: 16620 diff changeset	1748 </hint>
cf939872811c options for auto completion threshold, source and word replacement in settings Torsten <ttl@justmail.de> parents: 16620 diff changeset	1749 <hint type="destinationlabel">
cf939872811c options for auto completion threshold, source and word replacement in settings Torsten <ttl@justmail.de> parents: 16620 diff changeset	1750 <x>427</x>
cf939872811c options for auto completion threshold, source and word replacement in settings Torsten <ttl@justmail.de> parents: 16620 diff changeset	1751 <y>229</y>
cf939872811c options for auto completion threshold, source and word replacement in settings Torsten <ttl@justmail.de> parents: 16620 diff changeset	1752 </hint>
cf939872811c options for auto completion threshold, source and word replacement in settings Torsten <ttl@justmail.de> parents: 16620 diff changeset	1753 </hints>
cf939872811c options for auto completion threshold, source and word replacement in settings Torsten <ttl@justmail.de> parents: 16620 diff changeset	1754 </connection>
16693 e9d0b8252a0a make color of current line marker in the editor configurable Torsten <ttl@justmail.de> parents: 16679 diff changeset	1755 <connection>
e9d0b8252a0a make color of current line marker in the editor configurable Torsten <ttl@justmail.de> parents: 16679 diff changeset	1756 <sender>editor_highlightCurrentLine</sender>
e9d0b8252a0a make color of current line marker in the editor configurable Torsten <ttl@justmail.de> parents: 16679 diff changeset	1757 <signal>toggled(bool)</signal>
e9d0b8252a0a make color of current line marker in the editor configurable Torsten <ttl@justmail.de> parents: 16679 diff changeset	1758 <receiver>editor_label_cl_color</receiver>
e9d0b8252a0a make color of current line marker in the editor configurable Torsten <ttl@justmail.de> parents: 16679 diff changeset	1759 <slot>setEnabled(bool)</slot>
e9d0b8252a0a make color of current line marker in the editor configurable Torsten <ttl@justmail.de> parents: 16679 diff changeset	1760 <hints>
e9d0b8252a0a make color of current line marker in the editor configurable Torsten <ttl@justmail.de> parents: 16679 diff changeset	1761 <hint type="sourcelabel">
e9d0b8252a0a make color of current line marker in the editor configurable Torsten <ttl@justmail.de> parents: 16679 diff changeset	1762 <x>184</x>
e9d0b8252a0a make color of current line marker in the editor configurable Torsten <ttl@justmail.de> parents: 16679 diff changeset	1763 <y>86</y>
e9d0b8252a0a make color of current line marker in the editor configurable Torsten <ttl@justmail.de> parents: 16679 diff changeset	1764 </hint>
e9d0b8252a0a make color of current line marker in the editor configurable Torsten <ttl@justmail.de> parents: 16679 diff changeset	1765 <hint type="destinationlabel">
e9d0b8252a0a make color of current line marker in the editor configurable Torsten <ttl@justmail.de> parents: 16679 diff changeset	1766 <x>515</x>
e9d0b8252a0a make color of current line marker in the editor configurable Torsten <ttl@justmail.de> parents: 16679 diff changeset	1767 <y>86</y>
e9d0b8252a0a make color of current line marker in the editor configurable Torsten <ttl@justmail.de> parents: 16679 diff changeset	1768 </hint>
e9d0b8252a0a make color of current line marker in the editor configurable Torsten <ttl@justmail.de> parents: 16679 diff changeset	1769 </hints>
e9d0b8252a0a make color of current line marker in the editor configurable Torsten <ttl@justmail.de> parents: 16679 diff changeset	1770 </connection>
16701 ccfbc767ff5a make case sensitivity of editors auto completion list configurable Torsten <ttl@justmail.de> parents: 16700 diff changeset	1771 <connection>
ccfbc767ff5a make case sensitivity of editors auto completion list configurable Torsten <ttl@justmail.de> parents: 16700 diff changeset	1772 <sender>editor_codeCompletion</sender>
ccfbc767ff5a make case sensitivity of editors auto completion list configurable Torsten <ttl@justmail.de> parents: 16700 diff changeset	1773 <signal>toggled(bool)</signal>
ccfbc767ff5a make case sensitivity of editors auto completion list configurable Torsten <ttl@justmail.de> parents: 16700 diff changeset	1774 <receiver>editor_checkbox_ac_case</receiver>
ccfbc767ff5a make case sensitivity of editors auto completion list configurable Torsten <ttl@justmail.de> parents: 16700 diff changeset	1775 <slot>setEnabled(bool)</slot>
ccfbc767ff5a make case sensitivity of editors auto completion list configurable Torsten <ttl@justmail.de> parents: 16700 diff changeset	1776 <hints>
ccfbc767ff5a make case sensitivity of editors auto completion list configurable Torsten <ttl@justmail.de> parents: 16700 diff changeset	1777 <hint type="sourcelabel">
ccfbc767ff5a make case sensitivity of editors auto completion list configurable Torsten <ttl@justmail.de> parents: 16700 diff changeset	1778 <x>83</x>
ccfbc767ff5a make case sensitivity of editors auto completion list configurable Torsten <ttl@justmail.de> parents: 16700 diff changeset	1779 <y>172</y>
ccfbc767ff5a make case sensitivity of editors auto completion list configurable Torsten <ttl@justmail.de> parents: 16700 diff changeset	1780 </hint>
ccfbc767ff5a make case sensitivity of editors auto completion list configurable Torsten <ttl@justmail.de> parents: 16700 diff changeset	1781 <hint type="destinationlabel">
ccfbc767ff5a make case sensitivity of editors auto completion list configurable Torsten <ttl@justmail.de> parents: 16700 diff changeset	1782 <x>525</x>
ccfbc767ff5a make case sensitivity of editors auto completion list configurable Torsten <ttl@justmail.de> parents: 16700 diff changeset	1783 <y>203</y>
ccfbc767ff5a make case sensitivity of editors auto completion list configurable Torsten <ttl@justmail.de> parents: 16700 diff changeset	1784 </hint>
ccfbc767ff5a make case sensitivity of editors auto completion list configurable Torsten <ttl@justmail.de> parents: 16700 diff changeset	1785 </hints>
ccfbc767ff5a make case sensitivity of editors auto completion list configurable Torsten <ttl@justmail.de> parents: 16700 diff changeset	1786 </connection>
16702 553cfdd5d660 make white space visibility in the editor configurable Torsten <ttl@justmail.de> parents: 16701 diff changeset	1787 <connection>
553cfdd5d660 make white space visibility in the editor configurable Torsten <ttl@justmail.de> parents: 16701 diff changeset	1788 <sender>editor_ws_checkbox</sender>
553cfdd5d660 make white space visibility in the editor configurable Torsten <ttl@justmail.de> parents: 16701 diff changeset	1789 <signal>toggled(bool)</signal>
553cfdd5d660 make white space visibility in the editor configurable Torsten <ttl@justmail.de> parents: 16701 diff changeset	1790 <receiver>editor_ws_indent_checkbox</receiver>
553cfdd5d660 make white space visibility in the editor configurable Torsten <ttl@justmail.de> parents: 16701 diff changeset	1791 <slot>setEnabled(bool)</slot>
553cfdd5d660 make white space visibility in the editor configurable Torsten <ttl@justmail.de> parents: 16701 diff changeset	1792 <hints>
553cfdd5d660 make white space visibility in the editor configurable Torsten <ttl@justmail.de> parents: 16701 diff changeset	1793 <hint type="sourcelabel">
553cfdd5d660 make white space visibility in the editor configurable Torsten <ttl@justmail.de> parents: 16701 diff changeset	1794 <x>85</x>
553cfdd5d660 make white space visibility in the editor configurable Torsten <ttl@justmail.de> parents: 16701 diff changeset	1795 <y>119</y>
553cfdd5d660 make white space visibility in the editor configurable Torsten <ttl@justmail.de> parents: 16701 diff changeset	1796 </hint>
553cfdd5d660 make white space visibility in the editor configurable Torsten <ttl@justmail.de> parents: 16701 diff changeset	1797 <hint type="destinationlabel">
553cfdd5d660 make white space visibility in the editor configurable Torsten <ttl@justmail.de> parents: 16701 diff changeset	1798 <x>282</x>
553cfdd5d660 make white space visibility in the editor configurable Torsten <ttl@justmail.de> parents: 16701 diff changeset	1799 <y>119</y>
553cfdd5d660 make white space visibility in the editor configurable Torsten <ttl@justmail.de> parents: 16701 diff changeset	1800 </hint>
553cfdd5d660 make white space visibility in the editor configurable Torsten <ttl@justmail.de> parents: 16701 diff changeset	1801 </hints>
553cfdd5d660 make white space visibility in the editor configurable Torsten <ttl@justmail.de> parents: 16701 diff changeset	1802 </connection>
18179 b3838cedfe04 redesign of dock widgets title bar with configurable colors Torsten <ttl@justmail.de> parents: 18155 diff changeset	1803 <connection>
b3838cedfe04 redesign of dock widgets title bar with configurable colors Torsten <ttl@justmail.de> parents: 18155 diff changeset	1804 <sender>cb_widget_custom_style</sender>
b3838cedfe04 redesign of dock widgets title bar with configurable colors Torsten <ttl@justmail.de> parents: 18155 diff changeset	1805 <signal>toggled(bool)</signal>
b3838cedfe04 redesign of dock widgets title bar with configurable colors Torsten <ttl@justmail.de> parents: 18155 diff changeset	1806 <receiver>label_bgtitle</receiver>
b3838cedfe04 redesign of dock widgets title bar with configurable colors Torsten <ttl@justmail.de> parents: 18155 diff changeset	1807 <slot>setEnabled(bool)</slot>
b3838cedfe04 redesign of dock widgets title bar with configurable colors Torsten <ttl@justmail.de> parents: 18155 diff changeset	1808 <hints>
b3838cedfe04 redesign of dock widgets title bar with configurable colors Torsten <ttl@justmail.de> parents: 18155 diff changeset	1809 <hint type="sourcelabel">
b3838cedfe04 redesign of dock widgets title bar with configurable colors Torsten <ttl@justmail.de> parents: 18155 diff changeset	1810 <x>228</x>
b3838cedfe04 redesign of dock widgets title bar with configurable colors Torsten <ttl@justmail.de> parents: 18155 diff changeset	1811 <y>156</y>
b3838cedfe04 redesign of dock widgets title bar with configurable colors Torsten <ttl@justmail.de> parents: 18155 diff changeset	1812 </hint>
b3838cedfe04 redesign of dock widgets title bar with configurable colors Torsten <ttl@justmail.de> parents: 18155 diff changeset	1813 <hint type="destinationlabel">
b3838cedfe04 redesign of dock widgets title bar with configurable colors Torsten <ttl@justmail.de> parents: 18155 diff changeset	1814 <x>380</x>
b3838cedfe04 redesign of dock widgets title bar with configurable colors Torsten <ttl@justmail.de> parents: 18155 diff changeset	1815 <y>156</y>
b3838cedfe04 redesign of dock widgets title bar with configurable colors Torsten <ttl@justmail.de> parents: 18155 diff changeset	1816 </hint>
b3838cedfe04 redesign of dock widgets title bar with configurable colors Torsten <ttl@justmail.de> parents: 18155 diff changeset	1817 </hints>
b3838cedfe04 redesign of dock widgets title bar with configurable colors Torsten <ttl@justmail.de> parents: 18155 diff changeset	1818 </connection>
b3838cedfe04 redesign of dock widgets title bar with configurable colors Torsten <ttl@justmail.de> parents: 18155 diff changeset	1819 <connection>
b3838cedfe04 redesign of dock widgets title bar with configurable colors Torsten <ttl@justmail.de> parents: 18155 diff changeset	1820 <sender>cb_widget_custom_style</sender>
b3838cedfe04 redesign of dock widgets title bar with configurable colors Torsten <ttl@justmail.de> parents: 18155 diff changeset	1821 <signal>toggled(bool)</signal>
b3838cedfe04 redesign of dock widgets title bar with configurable colors Torsten <ttl@justmail.de> parents: 18155 diff changeset	1822 <receiver>label_fgtitle</receiver>
b3838cedfe04 redesign of dock widgets title bar with configurable colors Torsten <ttl@justmail.de> parents: 18155 diff changeset	1823 <slot>setEnabled(bool)</slot>
b3838cedfe04 redesign of dock widgets title bar with configurable colors Torsten <ttl@justmail.de> parents: 18155 diff changeset	1824 <hints>
b3838cedfe04 redesign of dock widgets title bar with configurable colors Torsten <ttl@justmail.de> parents: 18155 diff changeset	1825 <hint type="sourcelabel">
b3838cedfe04 redesign of dock widgets title bar with configurable colors Torsten <ttl@justmail.de> parents: 18155 diff changeset	1826 <x>228</x>
b3838cedfe04 redesign of dock widgets title bar with configurable colors Torsten <ttl@justmail.de> parents: 18155 diff changeset	1827 <y>156</y>
b3838cedfe04 redesign of dock widgets title bar with configurable colors Torsten <ttl@justmail.de> parents: 18155 diff changeset	1828 </hint>
b3838cedfe04 redesign of dock widgets title bar with configurable colors Torsten <ttl@justmail.de> parents: 18155 diff changeset	1829 <hint type="destinationlabel">
b3838cedfe04 redesign of dock widgets title bar with configurable colors Torsten <ttl@justmail.de> parents: 18155 diff changeset	1830 <x>496</x>
b3838cedfe04 redesign of dock widgets title bar with configurable colors Torsten <ttl@justmail.de> parents: 18155 diff changeset	1831 <y>156</y>
b3838cedfe04 redesign of dock widgets title bar with configurable colors Torsten <ttl@justmail.de> parents: 18155 diff changeset	1832 </hint>
b3838cedfe04 redesign of dock widgets title bar with configurable colors Torsten <ttl@justmail.de> parents: 18155 diff changeset	1833 </hints>
b3838cedfe04 redesign of dock widgets title bar with configurable colors Torsten <ttl@justmail.de> parents: 18155 diff changeset	1834 </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	1835 </connections>
13501 86d6c3b90ad7 Added new gui files. Jacob Dawid <jacob.dawid@googlemail.com> parents: diff changeset	1836 </ui>

Mercurial > hg > octave-jordi

annotate libgui/src/settings-dialog.ui @ 18280:4dadae02bd4c gui-release