|
a/src/qtgui/uiprefs.ui |
|
b/src/qtgui/uiprefs.ui |
|
... |
|
... |
| 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>
|
|
|
| 170 |
<item>
|
|
|
| 171 |
<widget class="QCheckBox" name="useDesktopOpenCB">
|
|
|
| 172 |
<property name="text">
|
|
|
| 173 |
<string>Use desktop preferences to choose document editor.</string>
|
|
|
| 174 |
</property>
|
|
|
| 175 |
<property name="checked">
|
|
|
| 176 |
<bool>false</bool>
|
|
|
| 177 |
</property>
|
|
|
| 178 |
</widget>
|
|
|
| 179 |
</item>
|
|
|
| 180 |
<item>
|
|
|
| 181 |
<layout class="QHBoxLayout">
|
|
|
| 182 |
<item>
|
|
|
| 183 |
<widget class="QLabel" name="textLabelallex">
|
|
|
| 184 |
<property name="text">
|
|
|
| 185 |
<string>Exceptions</string>
|
|
|
| 186 |
</property>
|
|
|
| 187 |
<property name="toolTip">
|
|
|
| 188 |
<string>Mime types that should not be passed to xdg-open even when "Use desktop preferences" is set.<br> Useful to pass page number and search string options to, e.g. evince.</string>
|
|
|
| 189 |
</property>
|
|
|
| 190 |
</widget>
|
|
|
| 191 |
</item>
|
|
|
| 192 |
<item>
|
|
|
| 193 |
<widget class="QLineEdit" name="allExLE">
|
|
|
| 194 |
<property name="minimumSize">
|
|
|
| 195 |
<size>
|
|
|
| 196 |
<width>70</width>
|
|
|
| 197 |
<height>0</height>
|
|
|
| 198 |
</size>
|
|
|
| 199 |
</property>
|
|
|
| 200 |
</widget>
|
|
|
| 201 |
</item>
|
|
|
| 202 |
</layout>
|
|
|
| 203 |
</item>
|
169 |
</item>
|
| 204 |
<item>
|
170 |
<item>
|
| 205 |
<widget class="QPushButton" name="viewActionPB">
|
171 |
<widget class="QPushButton" name="viewActionPB">
|
| 206 |
<property name="text">
|
172 |
<property name="text">
|
| 207 |
<string>Choose editor applications</string>
|
173 |
<string>Choose editor applications</string>
|