2013-03-02 15:23:51 +00:00
|
|
|
<ui version="4.0">
|
2007-08-31 05:53:55 +00:00
|
|
|
<class>PrefDisplayUi</class>
|
2013-03-02 15:23:51 +00:00
|
|
|
<widget class="QWidget" name="PrefDisplayUi">
|
|
|
|
<property name="geometry">
|
2006-03-24 15:59:11 +00:00
|
|
|
<rect>
|
|
|
|
<x>0</x>
|
|
|
|
<y>0</y>
|
2013-03-02 15:23:51 +00:00
|
|
|
<width>362</width>
|
|
|
|
<height>164</height>
|
2006-03-24 15:59:11 +00:00
|
|
|
</rect>
|
|
|
|
</property>
|
2013-03-02 15:23:51 +00:00
|
|
|
<property name="sizePolicy">
|
|
|
|
<sizepolicy hsizetype="Expanding" vsizetype="Expanding">
|
|
|
|
<horstretch>0</horstretch>
|
|
|
|
<verstretch>0</verstretch>
|
|
|
|
</sizepolicy>
|
|
|
|
</property>
|
|
|
|
<property name="windowTitle">
|
2006-03-24 15:59:11 +00:00
|
|
|
<string/>
|
|
|
|
</property>
|
2013-03-02 15:23:51 +00:00
|
|
|
<layout class="QGridLayout">
|
|
|
|
<property name="margin">
|
2009-10-25 09:15:18 +00:00
|
|
|
<number>9</number>
|
|
|
|
</property>
|
2013-03-02 15:23:51 +00:00
|
|
|
<property name="spacing">
|
2009-10-25 09:15:18 +00:00
|
|
|
<number>6</number>
|
|
|
|
</property>
|
2013-03-02 15:23:51 +00:00
|
|
|
<item row="0" column="0" colspan="2">
|
|
|
|
<widget class="QCheckBox" name="displayGraphicsCB">
|
|
|
|
<property name="text">
|
2015-01-04 09:53:36 +00:00
|
|
|
<string>Display &graphics</string>
|
2008-06-13 07:34:55 +00:00
|
|
|
</property>
|
|
|
|
</widget>
|
|
|
|
</item>
|
2013-03-02 15:23:51 +00:00
|
|
|
<item row="0" column="4" rowspan="4">
|
2009-10-25 09:15:18 +00:00
|
|
|
<spacer>
|
2013-03-02 15:23:51 +00:00
|
|
|
<property name="orientation">
|
2007-09-15 17:32:15 +00:00
|
|
|
<enum>Qt::Horizontal</enum>
|
2006-03-24 15:59:11 +00:00
|
|
|
</property>
|
2013-03-02 15:23:51 +00:00
|
|
|
<property name="sizeHint" stdset="0">
|
2007-09-15 17:32:15 +00:00
|
|
|
<size>
|
2009-09-21 00:44:43 +00:00
|
|
|
<width>57</width>
|
2007-09-15 17:32:15 +00:00
|
|
|
<height>20</height>
|
|
|
|
</size>
|
2006-03-24 15:59:11 +00:00
|
|
|
</property>
|
2007-09-15 17:32:15 +00:00
|
|
|
</spacer>
|
|
|
|
</item>
|
2013-03-02 15:23:51 +00:00
|
|
|
<item row="1" column="0">
|
|
|
|
<widget class="QLabel" name="instantPreviewLA">
|
|
|
|
<property name="text">
|
2015-01-04 09:53:36 +00:00
|
|
|
<string>Instant &preview:</string>
|
2008-06-13 07:34:55 +00:00
|
|
|
</property>
|
2013-03-02 15:23:51 +00:00
|
|
|
<property name="buddy">
|
2008-06-13 07:34:55 +00:00
|
|
|
<cstring>instantPreviewCO</cstring>
|
|
|
|
</property>
|
|
|
|
</widget>
|
|
|
|
</item>
|
2013-03-02 15:23:51 +00:00
|
|
|
<item row="1" column="1">
|
|
|
|
<widget class="QComboBox" name="instantPreviewCO">
|
2007-09-15 17:32:15 +00:00
|
|
|
<item>
|
2013-03-02 15:23:51 +00:00
|
|
|
<property name="text">
|
2007-09-15 17:32:15 +00:00
|
|
|
<string>Off</string>
|
|
|
|
</property>
|
|
|
|
</item>
|
|
|
|
<item>
|
2013-03-02 15:23:51 +00:00
|
|
|
<property name="text">
|
2007-09-15 17:32:15 +00:00
|
|
|
<string>No math</string>
|
|
|
|
</property>
|
|
|
|
</item>
|
|
|
|
<item>
|
2013-03-02 15:23:51 +00:00
|
|
|
<property name="text">
|
2007-09-15 17:32:15 +00:00
|
|
|
<string>On</string>
|
|
|
|
</property>
|
|
|
|
</item>
|
|
|
|
</widget>
|
|
|
|
</item>
|
2013-03-02 15:23:51 +00:00
|
|
|
<item row="1" column="2">
|
|
|
|
<widget class="QLabel" name="previewSizeLA">
|
|
|
|
<property name="text">
|
2015-01-04 09:53:36 +00:00
|
|
|
<string>Preview si&ze:</string>
|
2009-09-21 00:44:43 +00:00
|
|
|
</property>
|
2013-03-02 15:23:51 +00:00
|
|
|
<property name="buddy">
|
2009-09-21 00:44:43 +00:00
|
|
|
<cstring>instantPreviewCO</cstring>
|
2009-08-19 22:46:43 +00:00
|
|
|
</property>
|
|
|
|
</widget>
|
|
|
|
</item>
|
2013-03-02 15:23:51 +00:00
|
|
|
<item row="1" column="3">
|
|
|
|
<widget class="QDoubleSpinBox" name="previewSizeSB">
|
|
|
|
<property name="sizePolicy">
|
|
|
|
<sizepolicy hsizetype="Fixed" vsizetype="Fixed">
|
2009-09-21 00:44:43 +00:00
|
|
|
<horstretch>0</horstretch>
|
|
|
|
<verstretch>0</verstretch>
|
|
|
|
</sizepolicy>
|
2009-08-19 22:46:43 +00:00
|
|
|
</property>
|
2013-03-02 15:23:51 +00:00
|
|
|
<property name="toolTip">
|
2009-10-03 23:53:47 +00:00
|
|
|
<string>Factor for the preview size</string>
|
2009-08-19 22:46:43 +00:00
|
|
|
</property>
|
2013-03-02 15:23:51 +00:00
|
|
|
<property name="decimals">
|
2009-09-21 00:44:43 +00:00
|
|
|
<number>1</number>
|
|
|
|
</property>
|
2013-03-02 15:23:51 +00:00
|
|
|
<property name="minimum">
|
2009-09-21 00:44:43 +00:00
|
|
|
<double>0.100000000000000</double>
|
|
|
|
</property>
|
2013-03-02 15:23:51 +00:00
|
|
|
<property name="maximum">
|
|
|
|
<double>10.000000000000000</double>
|
|
|
|
</property>
|
|
|
|
<property name="singleStep">
|
2009-10-25 09:15:18 +00:00
|
|
|
<double>0.100000000000000</double>
|
|
|
|
</property>
|
2013-03-02 15:23:51 +00:00
|
|
|
<property name="value">
|
2009-09-21 00:44:43 +00:00
|
|
|
<double>1.000000000000000</double>
|
|
|
|
</property>
|
|
|
|
</widget>
|
|
|
|
</item>
|
2013-03-02 15:23:51 +00:00
|
|
|
<item row="2" column="0" colspan="2">
|
|
|
|
<widget class="QCheckBox" name="paragraphMarkerCB">
|
|
|
|
<property name="toolTip">
|
2009-10-25 09:15:18 +00:00
|
|
|
<string>Mark end of paragraphs on screen with a pilcrow character.</string>
|
|
|
|
</property>
|
2013-03-02 15:23:51 +00:00
|
|
|
<property name="text">
|
2009-09-21 00:44:43 +00:00
|
|
|
<string>&Mark end of paragraphs</string>
|
|
|
|
</property>
|
|
|
|
</widget>
|
2009-08-19 22:46:43 +00:00
|
|
|
</item>
|
2013-03-02 15:23:51 +00:00
|
|
|
<item row="3" column="0">
|
2009-10-25 09:15:18 +00:00
|
|
|
<spacer>
|
2013-03-02 15:23:51 +00:00
|
|
|
<property name="orientation">
|
2006-03-24 15:59:11 +00:00
|
|
|
<enum>Qt::Vertical</enum>
|
|
|
|
</property>
|
2013-03-02 15:23:51 +00:00
|
|
|
<property name="sizeType">
|
2006-03-24 15:59:11 +00:00
|
|
|
<enum>QSizePolicy::Expanding</enum>
|
|
|
|
</property>
|
2013-03-02 15:23:51 +00:00
|
|
|
<property name="sizeHint" stdset="0">
|
2006-03-24 15:59:11 +00:00
|
|
|
<size>
|
2013-06-02 21:30:06 +00:00
|
|
|
<width>0</width>
|
2006-03-24 15:59:11 +00:00
|
|
|
<height>20</height>
|
|
|
|
</size>
|
|
|
|
</property>
|
|
|
|
</spacer>
|
|
|
|
</item>
|
|
|
|
</layout>
|
|
|
|
</widget>
|
2006-08-31 13:46:28 +00:00
|
|
|
<tabstops>
|
|
|
|
<tabstop>instantPreviewCO</tabstop>
|
|
|
|
</tabstops>
|
2007-09-15 17:32:15 +00:00
|
|
|
<includes>
|
2013-03-02 15:23:51 +00:00
|
|
|
<include location="local">qt_i18n.h</include>
|
2007-09-15 17:32:15 +00:00
|
|
|
</includes>
|
2006-03-24 15:59:11 +00:00
|
|
|
<resources/>
|
|
|
|
<connections/>
|
2006-03-05 17:24:44 +00:00
|
|
|
</ui>
|