2014-03-23 14:49:57 +01:00
|
|
|
<?xml version="1.0" encoding="UTF-8"?>
|
|
|
|
<ui version="4.0">
|
2008-03-18 17:31:17 +00:00
|
|
|
<class>PrefCompletionUi</class>
|
2014-03-23 14:49:57 +01:00
|
|
|
<widget class="QWidget" name="PrefCompletionUi">
|
|
|
|
<property name="geometry">
|
2008-03-18 17:31:17 +00:00
|
|
|
<rect>
|
|
|
|
<x>0</x>
|
|
|
|
<y>0</y>
|
2014-03-22 21:21:59 -04:00
|
|
|
<width>400</width>
|
|
|
|
<height>404</height>
|
2008-03-18 17:31:17 +00:00
|
|
|
</rect>
|
|
|
|
</property>
|
2014-03-23 14:49:57 +01:00
|
|
|
<property name="windowTitle">
|
2008-03-18 17:31:17 +00:00
|
|
|
<string/>
|
|
|
|
</property>
|
2014-03-23 14:49:57 +01:00
|
|
|
<layout class="QGridLayout">
|
|
|
|
<property name="margin">
|
2008-03-18 17:31:17 +00:00
|
|
|
<number>9</number>
|
|
|
|
</property>
|
2014-03-23 14:49:57 +01:00
|
|
|
<property name="spacing">
|
2008-03-18 17:31:17 +00:00
|
|
|
<number>6</number>
|
|
|
|
</property>
|
2014-03-23 14:49:57 +01:00
|
|
|
<item row="1" column="0">
|
|
|
|
<widget class="QGroupBox" name="groupBox_3">
|
|
|
|
<property name="title">
|
2008-03-18 17:31:17 +00:00
|
|
|
<string>In Math</string>
|
|
|
|
</property>
|
2014-03-23 14:49:57 +01:00
|
|
|
<property name="flat">
|
2008-03-18 17:31:17 +00:00
|
|
|
<bool>true</bool>
|
|
|
|
</property>
|
2014-03-23 14:49:57 +01:00
|
|
|
<layout class="QVBoxLayout">
|
|
|
|
<property name="spacing">
|
2014-03-22 21:21:59 -04:00
|
|
|
<number>6</number>
|
|
|
|
</property>
|
2014-03-23 14:49:57 +01:00
|
|
|
<property name="margin">
|
|
|
|
<number>9</number>
|
|
|
|
</property>
|
2008-03-18 17:31:17 +00:00
|
|
|
<item>
|
2014-03-23 14:49:57 +01:00
|
|
|
<widget class="QCheckBox" name="inlineMathCB">
|
|
|
|
<property name="toolTip">
|
2008-03-18 17:31:17 +00:00
|
|
|
<string>Show the grey inline completion behind the cursor in math mode after the delay.</string>
|
|
|
|
</property>
|
2014-03-23 14:49:57 +01:00
|
|
|
<property name="text">
|
2008-03-18 17:31:17 +00:00
|
|
|
<string>Automatic in&line completion</string>
|
|
|
|
</property>
|
|
|
|
</widget>
|
|
|
|
</item>
|
|
|
|
<item>
|
2014-03-23 14:49:57 +01:00
|
|
|
<widget class="QCheckBox" name="popupMathCB">
|
|
|
|
<property name="toolTip">
|
2008-03-18 17:31:17 +00:00
|
|
|
<string>Show the popup in math mode after the delay.</string>
|
|
|
|
</property>
|
2014-03-23 14:49:57 +01:00
|
|
|
<property name="text">
|
2008-03-18 17:31:17 +00:00
|
|
|
<string>Automatic p&opup</string>
|
2009-06-13 22:23:19 +00:00
|
|
|
</property>
|
|
|
|
</widget>
|
|
|
|
</item>
|
|
|
|
<item>
|
2014-03-23 14:49:57 +01:00
|
|
|
<widget class="QCheckBox" name="autocorrectionCB">
|
|
|
|
<property name="text">
|
2009-06-13 22:23:19 +00:00
|
|
|
<string>Autoco&rrection</string>
|
2008-03-18 17:31:17 +00:00
|
|
|
</property>
|
|
|
|
</widget>
|
|
|
|
</item>
|
|
|
|
</layout>
|
|
|
|
</widget>
|
|
|
|
</item>
|
2014-03-23 14:49:57 +01:00
|
|
|
<item row="0" column="0">
|
|
|
|
<widget class="QGroupBox" name="groupBox_2">
|
|
|
|
<property name="title">
|
2008-03-18 17:31:17 +00:00
|
|
|
<string>In Text</string>
|
|
|
|
</property>
|
2014-03-23 14:49:57 +01:00
|
|
|
<property name="flat">
|
2008-03-18 17:31:17 +00:00
|
|
|
<bool>true</bool>
|
|
|
|
</property>
|
2014-03-23 14:49:57 +01:00
|
|
|
<layout class="QVBoxLayout">
|
|
|
|
<property name="spacing">
|
2014-03-22 21:21:59 -04:00
|
|
|
<number>6</number>
|
|
|
|
</property>
|
2014-03-23 14:49:57 +01:00
|
|
|
<property name="margin">
|
|
|
|
<number>9</number>
|
|
|
|
</property>
|
2008-03-18 17:31:17 +00:00
|
|
|
<item>
|
2014-03-23 14:49:57 +01:00
|
|
|
<widget class="QCheckBox" name="inlineTextCB">
|
|
|
|
<property name="toolTip">
|
2008-03-18 17:31:17 +00:00
|
|
|
<string>Show the grey inline completion behind the cursor in text mode after the delay.</string>
|
|
|
|
</property>
|
2014-03-23 14:49:57 +01:00
|
|
|
<property name="text">
|
2008-03-18 17:31:17 +00:00
|
|
|
<string>Automatic &inline completion</string>
|
|
|
|
</property>
|
|
|
|
</widget>
|
|
|
|
</item>
|
|
|
|
<item>
|
2014-03-23 14:49:57 +01:00
|
|
|
<widget class="QCheckBox" name="popupTextCB">
|
|
|
|
<property name="toolTip">
|
2008-03-18 17:31:17 +00:00
|
|
|
<string>Show the popup after the set delay in text mode.</string>
|
|
|
|
</property>
|
2014-03-23 14:49:57 +01:00
|
|
|
<property name="text">
|
2008-03-18 17:31:17 +00:00
|
|
|
<string>Automatic &popup</string>
|
|
|
|
</property>
|
|
|
|
</widget>
|
|
|
|
</item>
|
|
|
|
<item>
|
2014-03-23 14:49:57 +01:00
|
|
|
<widget class="QCheckBox" name="cursorTextCB">
|
|
|
|
<property name="toolTip">
|
2008-03-18 17:31:17 +00:00
|
|
|
<string>Show a small triangle on the cursor if a completion is available in text mode.</string>
|
|
|
|
</property>
|
2014-03-23 14:49:57 +01:00
|
|
|
<property name="text">
|
2008-03-18 17:31:17 +00:00
|
|
|
<string>Cursor i&ndicator</string>
|
|
|
|
</property>
|
|
|
|
</widget>
|
|
|
|
</item>
|
|
|
|
</layout>
|
|
|
|
</widget>
|
|
|
|
</item>
|
2014-03-23 14:49:57 +01:00
|
|
|
<item row="2" column="0">
|
|
|
|
<widget class="QGroupBox" name="groupBox_4">
|
|
|
|
<property name="title">
|
2020-08-23 23:50:11 +03:00
|
|
|
<string>General[[settings]]</string>
|
2008-03-18 17:31:17 +00:00
|
|
|
</property>
|
2014-03-23 14:49:57 +01:00
|
|
|
<property name="flat">
|
2008-03-18 17:31:17 +00:00
|
|
|
<bool>true</bool>
|
|
|
|
</property>
|
2014-03-23 14:49:57 +01:00
|
|
|
<layout class="QVBoxLayout">
|
|
|
|
<property name="spacing">
|
2014-03-22 21:21:59 -04:00
|
|
|
<number>6</number>
|
|
|
|
</property>
|
2014-03-23 14:49:57 +01:00
|
|
|
<property name="margin">
|
|
|
|
<number>9</number>
|
|
|
|
</property>
|
2008-03-18 17:31:17 +00:00
|
|
|
<item>
|
2014-03-23 14:49:57 +01:00
|
|
|
<layout class="QHBoxLayout">
|
|
|
|
<property name="spacing">
|
2014-03-22 21:21:59 -04:00
|
|
|
<number>6</number>
|
|
|
|
</property>
|
2014-03-23 14:49:57 +01:00
|
|
|
<property name="margin">
|
|
|
|
<number>0</number>
|
|
|
|
</property>
|
2008-03-18 17:31:17 +00:00
|
|
|
<item>
|
2014-03-23 14:49:57 +01:00
|
|
|
<widget class="QDoubleSpinBox" name="inlineDelaySB">
|
|
|
|
<property name="toolTip">
|
2008-03-18 17:31:17 +00:00
|
|
|
<string>After the cursor has not moved for this time, the inline completion is shown if it is available.</string>
|
|
|
|
</property>
|
2014-03-23 14:49:57 +01:00
|
|
|
<property name="maximum">
|
2008-03-18 17:31:17 +00:00
|
|
|
<double>10.000000000000000</double>
|
|
|
|
</property>
|
2014-03-23 14:49:57 +01:00
|
|
|
<property name="singleStep">
|
2008-03-18 17:31:17 +00:00
|
|
|
<double>0.100000000000000</double>
|
|
|
|
</property>
|
|
|
|
</widget>
|
|
|
|
</item>
|
|
|
|
<item>
|
2014-03-23 14:49:57 +01:00
|
|
|
<widget class="QLabel" name="label_4">
|
|
|
|
<property name="text">
|
2008-03-18 17:31:17 +00:00
|
|
|
<string>s inline completion dela&y</string>
|
|
|
|
</property>
|
2014-03-23 14:49:57 +01:00
|
|
|
<property name="buddy">
|
2008-03-18 17:31:17 +00:00
|
|
|
<cstring>inlineDelaySB</cstring>
|
|
|
|
</property>
|
|
|
|
</widget>
|
|
|
|
</item>
|
|
|
|
<item>
|
|
|
|
<spacer>
|
2014-03-23 14:49:57 +01:00
|
|
|
<property name="orientation">
|
2008-03-18 17:31:17 +00:00
|
|
|
<enum>Qt::Horizontal</enum>
|
|
|
|
</property>
|
2014-03-23 14:49:57 +01:00
|
|
|
<property name="sizeHint" stdset="0">
|
2008-03-18 17:31:17 +00:00
|
|
|
<size>
|
|
|
|
<width>40</width>
|
|
|
|
<height>20</height>
|
|
|
|
</size>
|
|
|
|
</property>
|
|
|
|
</spacer>
|
|
|
|
</item>
|
|
|
|
</layout>
|
|
|
|
</item>
|
|
|
|
<item>
|
2014-03-23 14:49:57 +01:00
|
|
|
<layout class="QHBoxLayout">
|
|
|
|
<property name="spacing">
|
2014-03-22 21:21:59 -04:00
|
|
|
<number>6</number>
|
|
|
|
</property>
|
2014-03-23 14:49:57 +01:00
|
|
|
<property name="margin">
|
|
|
|
<number>0</number>
|
|
|
|
</property>
|
2008-03-18 17:31:17 +00:00
|
|
|
<item>
|
2014-03-23 14:49:57 +01:00
|
|
|
<widget class="QDoubleSpinBox" name="popupDelaySB">
|
|
|
|
<property name="toolTip">
|
2008-03-18 17:31:17 +00:00
|
|
|
<string>After the cursor has not moved for this time, the completion popup is shown if it is available.</string>
|
|
|
|
</property>
|
2014-03-23 14:49:57 +01:00
|
|
|
<property name="maximum">
|
2008-03-18 17:31:17 +00:00
|
|
|
<double>10.000000000000000</double>
|
|
|
|
</property>
|
2014-03-23 14:49:57 +01:00
|
|
|
<property name="singleStep">
|
2008-03-18 17:31:17 +00:00
|
|
|
<double>0.100000000000000</double>
|
|
|
|
</property>
|
|
|
|
</widget>
|
|
|
|
</item>
|
|
|
|
<item>
|
2014-03-23 14:49:57 +01:00
|
|
|
<widget class="QLabel" name="label_3">
|
|
|
|
<property name="text">
|
2008-03-18 17:31:17 +00:00
|
|
|
<string>s popup d&elay</string>
|
|
|
|
</property>
|
2014-03-23 14:49:57 +01:00
|
|
|
<property name="buddy">
|
2008-03-18 17:31:17 +00:00
|
|
|
<cstring>popupDelaySB</cstring>
|
|
|
|
</property>
|
|
|
|
</widget>
|
|
|
|
</item>
|
|
|
|
<item>
|
|
|
|
<spacer>
|
2014-03-23 14:49:57 +01:00
|
|
|
<property name="orientation">
|
2008-03-18 17:31:17 +00:00
|
|
|
<enum>Qt::Horizontal</enum>
|
|
|
|
</property>
|
2014-03-23 14:49:57 +01:00
|
|
|
<property name="sizeHint" stdset="0">
|
2008-03-18 17:31:17 +00:00
|
|
|
<size>
|
|
|
|
<width>40</width>
|
|
|
|
<height>20</height>
|
|
|
|
</size>
|
|
|
|
</property>
|
|
|
|
</spacer>
|
|
|
|
</item>
|
|
|
|
</layout>
|
|
|
|
</item>
|
2012-01-02 22:47:04 +00:00
|
|
|
<item>
|
2014-03-23 14:49:57 +01:00
|
|
|
<layout class="QHBoxLayout">
|
|
|
|
<property name="spacing">
|
2014-03-22 21:21:59 -04:00
|
|
|
<number>6</number>
|
|
|
|
</property>
|
2014-03-23 14:49:57 +01:00
|
|
|
<property name="margin">
|
|
|
|
<number>0</number>
|
|
|
|
</property>
|
2012-01-02 22:47:04 +00:00
|
|
|
<item>
|
2014-03-23 14:49:57 +01:00
|
|
|
<widget class="QSpinBox" name="minlengthSB">
|
|
|
|
<property name="toolTip">
|
|
|
|
<string>Words with less than the specified number of characters will not be completed.</string>
|
2012-01-02 22:47:04 +00:00
|
|
|
</property>
|
|
|
|
<property name="minimum">
|
|
|
|
<number>5</number>
|
|
|
|
</property>
|
|
|
|
<property name="maximum">
|
|
|
|
<number>24</number>
|
|
|
|
</property>
|
|
|
|
<property name="value">
|
|
|
|
<number>6</number>
|
|
|
|
</property>
|
|
|
|
</widget>
|
|
|
|
</item>
|
|
|
|
<item>
|
2014-03-23 14:49:57 +01:00
|
|
|
<widget class="QLabel" name="label_5">
|
|
|
|
<property name="text">
|
|
|
|
<string>Minimum characters for words that should be completed</string>
|
2012-01-02 22:47:04 +00:00
|
|
|
</property>
|
2014-03-23 14:49:57 +01:00
|
|
|
<property name="buddy">
|
2012-01-02 22:47:04 +00:00
|
|
|
<cstring>minlengthSB</cstring>
|
|
|
|
</property>
|
|
|
|
</widget>
|
|
|
|
</item>
|
|
|
|
<item>
|
|
|
|
<spacer>
|
2014-03-23 14:49:57 +01:00
|
|
|
<property name="orientation">
|
2012-01-02 22:47:04 +00:00
|
|
|
<enum>Qt::Horizontal</enum>
|
|
|
|
</property>
|
2014-03-23 14:49:57 +01:00
|
|
|
<property name="sizeHint" stdset="0">
|
2012-01-02 22:47:04 +00:00
|
|
|
<size>
|
|
|
|
<width>40</width>
|
|
|
|
<height>20</height>
|
|
|
|
</size>
|
|
|
|
</property>
|
|
|
|
</spacer>
|
|
|
|
</item>
|
|
|
|
</layout>
|
|
|
|
</item>
|
2008-03-18 17:31:17 +00:00
|
|
|
<item>
|
2014-03-23 14:49:57 +01:00
|
|
|
<widget class="QCheckBox" name="popupAfterCompleteCB">
|
|
|
|
<property name="toolTip">
|
2008-03-18 17:31:17 +00:00
|
|
|
<string>When the TAB completion is not unique, there won't be a delay of the popup. It will be shown right away.</string>
|
|
|
|
</property>
|
2014-03-23 14:49:57 +01:00
|
|
|
<property name="text">
|
2008-03-18 17:31:17 +00:00
|
|
|
<string>Sho&w popup without delay for non-unique completions</string>
|
|
|
|
</property>
|
|
|
|
</widget>
|
|
|
|
</item>
|
|
|
|
<item>
|
2014-03-23 14:49:57 +01:00
|
|
|
<widget class="QCheckBox" name="inlineDotsCB">
|
|
|
|
<property name="toolTip">
|
|
|
|
<string>Long completions are cut-off and shown with "...".</string>
|
2008-03-18 17:31:17 +00:00
|
|
|
</property>
|
2014-03-23 14:49:57 +01:00
|
|
|
<property name="text">
|
|
|
|
<string>&Use "..." to shorten long completions</string>
|
2008-03-18 17:31:17 +00:00
|
|
|
</property>
|
|
|
|
</widget>
|
|
|
|
</item>
|
|
|
|
</layout>
|
|
|
|
</widget>
|
|
|
|
</item>
|
2014-03-23 14:49:57 +01:00
|
|
|
<item row="3" column="0">
|
2008-03-18 17:31:17 +00:00
|
|
|
<spacer>
|
2014-03-23 14:49:57 +01:00
|
|
|
<property name="orientation">
|
2008-03-18 17:31:17 +00:00
|
|
|
<enum>Qt::Vertical</enum>
|
|
|
|
</property>
|
2014-03-23 14:49:57 +01:00
|
|
|
<property name="sizeType">
|
2008-03-18 17:31:17 +00:00
|
|
|
<enum>QSizePolicy::Expanding</enum>
|
|
|
|
</property>
|
2014-03-23 14:49:57 +01:00
|
|
|
<property name="sizeHint" stdset="0">
|
2008-03-18 17:31:17 +00:00
|
|
|
<size>
|
2013-06-02 23:30:06 +02:00
|
|
|
<width>0</width>
|
2008-03-18 17:31:17 +00:00
|
|
|
<height>16</height>
|
|
|
|
</size>
|
|
|
|
</property>
|
|
|
|
</spacer>
|
|
|
|
</item>
|
|
|
|
</layout>
|
|
|
|
</widget>
|
2011-09-12 14:19:57 +00:00
|
|
|
<tabstops>
|
|
|
|
<tabstop>inlineTextCB</tabstop>
|
|
|
|
<tabstop>popupTextCB</tabstop>
|
|
|
|
<tabstop>cursorTextCB</tabstop>
|
|
|
|
<tabstop>inlineMathCB</tabstop>
|
|
|
|
<tabstop>popupMathCB</tabstop>
|
|
|
|
<tabstop>autocorrectionCB</tabstop>
|
|
|
|
</tabstops>
|
2008-03-18 17:31:17 +00:00
|
|
|
<includes>
|
2014-03-23 14:49:57 +01:00
|
|
|
<include location="local">qt_i18n.h</include>
|
2008-03-18 17:31:17 +00:00
|
|
|
</includes>
|
|
|
|
<resources/>
|
|
|
|
<connections/>
|
|
|
|
</ui>
|