|
a/src/qtgui/uiprefs.ui |
|
b/src/qtgui/uiprefs.ui |
|
... |
|
... |
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 |
<widget class="QCheckBox" name="previewPlainPreCB">
|
136 |
<layout class="QHBoxLayout" name="horizontalLayout">
|
|
|
137 |
<item>
|
|
|
138 |
<widget class="QLabel" name="label">
|
|
|
139 |
<property name="text">
|
|
|
140 |
<string>Plain text to HTML line style</string>
|
|
|
141 |
</property>
|
137 |
<property name="toolTip">
|
142 |
<property name="toolTip">
|
138 |
<string>Lines in PRE text are not folded. Using BR loses some indentation.</string>
|
143 |
<string>Lines in PRE text are not folded. Using BR loses some indentation. PRE + Wrap style may be what you want.</string>
|
139 |
</property>
|
144 |
</property>
|
|
|
145 |
</widget>
|
|
|
146 |
</item>
|
|
|
147 |
<item>
|
|
|
148 |
<widget class="QRadioButton" name="plainBRRB">
|
140 |
<property name="text">
|
149 |
<property name="text">
|
141 |
<string>Use <PRE> tags instead of <BR>to display plain text as html in preview.</string>
|
150 |
<string><BR></string>
|
142 |
</property>
|
151 |
</property>
|
143 |
<property name="checked">
|
152 |
</widget>
|
144 |
<bool>false</bool>
|
153 |
</item>
|
145 |
</property>
|
154 |
<item>
|
146 |
</widget>
|
155 |
<widget class="QRadioButton" name="plainPRERB">
|
|
|
156 |
<property name="text">
|
|
|
157 |
<string><PRE></string>
|
|
|
158 |
</property>
|
|
|
159 |
</widget>
|
|
|
160 |
</item>
|
|
|
161 |
<item>
|
|
|
162 |
<widget class="QRadioButton" name="plainPREWRAPRB">
|
|
|
163 |
<property name="text">
|
|
|
164 |
<string><PRE> + wrap</string>
|
|
|
165 |
</property>
|
|
|
166 |
</widget>
|
|
|
167 |
</item>
|
|
|
168 |
</layout>
|
147 |
</item>
|
169 |
</item>
|
148 |
<item>
|
170 |
<item>
|
149 |
<widget class="QCheckBox" name="useDesktopOpenCB">
|
171 |
<widget class="QCheckBox" name="useDesktopOpenCB">
|
150 |
<property name="text">
|
172 |
<property name="text">
|
151 |
<string>Use desktop preferences to choose document editor.</string>
|
173 |
<string>Use desktop preferences to choose document editor.</string>
|