|
a/src/qtgui/uiprefs.ui |
|
b/src/qtgui/uiprefs.ui |
|
... |
|
... |
| 5 |
<property name="geometry">
|
5 |
<property name="geometry">
|
| 6 |
<rect>
|
6 |
<rect>
|
| 7 |
<x>0</x>
|
7 |
<x>0</x>
|
| 8 |
<y>0</y>
|
8 |
<y>0</y>
|
| 9 |
<width>531</width>
|
9 |
<width>531</width>
|
| 10 |
<height>422</height>
|
10 |
<height>427</height>
|
| 11 |
</rect>
|
11 |
</rect>
|
| 12 |
</property>
|
12 |
</property>
|
| 13 |
<property name="windowTitle">
|
13 |
<property name="windowTitle">
|
| 14 |
<string>User preferences</string>
|
14 |
<string>User preferences</string>
|
| 15 |
</property>
|
15 |
</property>
|
|
... |
|
... |
| 20 |
<item>
|
20 |
<item>
|
| 21 |
<layout class="QVBoxLayout">
|
21 |
<layout class="QVBoxLayout">
|
| 22 |
<item>
|
22 |
<item>
|
| 23 |
<widget class="QTabWidget" name="tabWidget">
|
23 |
<widget class="QTabWidget" name="tabWidget">
|
| 24 |
<property name="currentIndex">
|
24 |
<property name="currentIndex">
|
| 25 |
<number>0</number>
|
25 |
<number>3</number>
|
| 26 |
</property>
|
26 |
</property>
|
| 27 |
<widget class="QWidget" name="tab">
|
27 |
<widget class="QWidget" name="tab">
|
| 28 |
<attribute name="title">
|
28 |
<attribute name="title">
|
| 29 |
<string>User interface</string>
|
29 |
<string>User interface</string>
|
| 30 |
</attribute>
|
30 |
</attribute>
|
|
... |
|
... |
| 131 |
<bool>false</bool>
|
131 |
<bool>false</bool>
|
| 132 |
</property>
|
132 |
</property>
|
| 133 |
</widget>
|
133 |
</widget>
|
| 134 |
</item>
|
134 |
</item>
|
| 135 |
<item>
|
135 |
<item>
|
| 136 |
<layout class="QHBoxLayout" name="horizontalLayout">
|
136 |
<layout class="QHBoxLayout" name="horizontalLayout">
|
| 137 |
<item>
|
137 |
<item>
|
| 138 |
<widget class="QLabel" name="label">
|
138 |
<widget class="QLabel" name="label">
|
| 139 |
<property name="text">
|
|
|
| 140 |
<string>Plain text to HTML line style</string>
|
|
|
| 141 |
</property>
|
|
|
| 142 |
<property name="toolTip">
|
139 |
<property name="toolTip">
|
| 143 |
<string>Lines in PRE text are not folded. Using BR loses some indentation. PRE + Wrap style may be what you want.</string>
|
140 |
<string>Lines in PRE text are not folded. Using BR loses some indentation. PRE + Wrap style may be what you want.</string>
|
| 144 |
</property>
|
141 |
</property>
|
| 145 |
</widget>
|
142 |
<property name="text">
|
|
|
143 |
<string>Plain text to HTML line style</string>
|
|
|
144 |
</property>
|
|
|
145 |
</widget>
|
| 146 |
</item>
|
146 |
</item>
|
| 147 |
<item>
|
147 |
<item>
|
| 148 |
<widget class="QRadioButton" name="plainBRRB">
|
148 |
<widget class="QRadioButton" name="plainBRRB">
|
| 149 |
<property name="text">
|
149 |
<property name="text">
|
| 150 |
<string><BR></string>
|
150 |
<string><BR></string>
|
| 151 |
</property>
|
151 |
</property>
|
| 152 |
</widget>
|
152 |
</widget>
|
| 153 |
</item>
|
153 |
</item>
|
| 154 |
<item>
|
154 |
<item>
|
| 155 |
<widget class="QRadioButton" name="plainPRERB">
|
155 |
<widget class="QRadioButton" name="plainPRERB">
|
| 156 |
<property name="text">
|
156 |
<property name="text">
|
| 157 |
<string><PRE></string>
|
157 |
<string><PRE></string>
|
| 158 |
</property>
|
158 |
</property>
|
| 159 |
</widget>
|
159 |
</widget>
|
| 160 |
</item>
|
160 |
</item>
|
| 161 |
<item>
|
161 |
<item>
|
| 162 |
<widget class="QRadioButton" name="plainPREWRAPRB">
|
162 |
<widget class="QRadioButton" name="plainPREWRAPRB">
|
| 163 |
<property name="text">
|
163 |
<property name="text">
|
| 164 |
<string><PRE> + wrap</string>
|
164 |
<string><PRE> + wrap</string>
|
| 165 |
</property>
|
165 |
</property>
|
| 166 |
</widget>
|
166 |
</widget>
|
| 167 |
</item>
|
167 |
</item>
|
| 168 |
</layout>
|
168 |
</layout>
|
| 169 |
</item>
|
169 |
</item>
|
| 170 |
<item>
|
170 |
<item>
|
| 171 |
<widget class="QPushButton" name="viewActionPB">
|
171 |
<widget class="QPushButton" name="viewActionPB">
|
| 172 |
<property name="text">
|
172 |
<property name="text">
|
| 173 |
<string>Choose editor applications</string>
|
173 |
<string>Choose editor applications</string>
|
|
... |
|
... |
| 713 |
<property name="text">
|
713 |
<property name="text">
|
| 714 |
<string>Deactivate All</string>
|
714 |
<string>Deactivate All</string>
|
| 715 |
</property>
|
715 |
</property>
|
| 716 |
</widget>
|
716 |
</widget>
|
| 717 |
</item>
|
717 |
</item>
|
|
|
718 |
<item>
|
|
|
719 |
<widget class="QPushButton" name="ptransPB">
|
|
|
720 |
<property name="text">
|
|
|
721 |
<string>Paths translations</string>
|
|
|
722 |
</property>
|
|
|
723 |
</widget>
|
|
|
724 |
</item>
|
| 718 |
</layout>
|
725 |
</layout>
|
| 719 |
</item>
|
726 |
</item>
|
| 720 |
<item>
|
727 |
<item>
|
| 721 |
<widget class="Line" name="line2_2">
|
728 |
<widget class="Line" name="line2_2">
|
| 722 |
<property name="frameShape">
|
729 |
<property name="frameShape">
|
|
... |
|
... |
| 759 |
<widget class="QPushButton" name="addExtraDbPB">
|
766 |
<widget class="QPushButton" name="addExtraDbPB">
|
| 760 |
<property name="enabled">
|
767 |
<property name="enabled">
|
| 761 |
<bool>true</bool>
|
768 |
<bool>true</bool>
|
| 762 |
</property>
|
769 |
</property>
|
| 763 |
<property name="toolTip">
|
770 |
<property name="toolTip">
|
| 764 |
<string>Click to add another index directory to the list</string>
|
771 |
<string>Click to add another index directory to the list. You can select either a Recoll configuration directory or a Xapian index.</string>
|
| 765 |
</property>
|
772 |
</property>
|
| 766 |
<property name="text">
|
773 |
<property name="text">
|
| 767 |
<string>Add index</string>
|
774 |
<string>Add index</string>
|
| 768 |
</property>
|
775 |
</property>
|
| 769 |
</widget>
|
776 |
</widget>
|