2017-06-07 00:55:23 +02:00
|
|
|
<ui version="4.0">
|
2009-07-20 08:09:32 +00:00
|
|
|
<class>ListingsSettingsUi</class>
|
2017-06-07 00:55:23 +02:00
|
|
|
<widget class="QWidget" name="ListingsSettingsUi">
|
|
|
|
<property name="geometry">
|
2009-07-20 08:09:32 +00:00
|
|
|
<rect>
|
|
|
|
<x>0</x>
|
|
|
|
<y>0</y>
|
|
|
|
<width>219</width>
|
2017-06-07 00:55:23 +02:00
|
|
|
<height>256</height>
|
2009-07-20 08:09:32 +00:00
|
|
|
</rect>
|
|
|
|
</property>
|
2017-06-07 00:55:23 +02:00
|
|
|
<property name="windowTitle">
|
2009-07-20 08:09:32 +00:00
|
|
|
<string/>
|
|
|
|
</property>
|
2017-06-07 00:55:23 +02:00
|
|
|
<layout class="QGridLayout">
|
|
|
|
<property name="margin">
|
2009-07-20 08:09:32 +00:00
|
|
|
<number>9</number>
|
|
|
|
</property>
|
2017-06-07 00:55:23 +02:00
|
|
|
<property name="spacing">
|
2009-07-20 08:09:32 +00:00
|
|
|
<number>6</number>
|
|
|
|
</property>
|
2017-06-07 00:55:23 +02:00
|
|
|
<item row="5" column="0">
|
2009-07-20 08:09:32 +00:00
|
|
|
<spacer>
|
2017-06-07 00:55:23 +02:00
|
|
|
<property name="orientation">
|
2009-07-20 08:09:32 +00:00
|
|
|
<enum>Qt::Vertical</enum>
|
|
|
|
</property>
|
2017-06-07 00:55:23 +02:00
|
|
|
<property name="sizeType">
|
2009-07-20 08:09:32 +00:00
|
|
|
<enum>QSizePolicy::Expanding</enum>
|
|
|
|
</property>
|
2017-06-07 00:55:23 +02:00
|
|
|
<property name="sizeHint" stdset="0">
|
2009-07-20 08:09:32 +00:00
|
|
|
<size>
|
|
|
|
<width>201</width>
|
|
|
|
<height>21</height>
|
|
|
|
</size>
|
|
|
|
</property>
|
|
|
|
</spacer>
|
|
|
|
</item>
|
2017-06-07 00:55:23 +02:00
|
|
|
<item row="1" column="0">
|
|
|
|
<widget class="QTextEdit" name="listingsED">
|
|
|
|
<property name="sizePolicy">
|
|
|
|
<sizepolicy hsizetype="Expanding" vsizetype="Preferred">
|
2009-07-20 08:09:32 +00:00
|
|
|
<horstretch>0</horstretch>
|
|
|
|
<verstretch>0</verstretch>
|
|
|
|
</sizepolicy>
|
|
|
|
</property>
|
2017-06-07 00:55:23 +02:00
|
|
|
<property name="toolTip">
|
2009-07-20 08:09:32 +00:00
|
|
|
<string>Input here the listings parameters</string>
|
|
|
|
</property>
|
|
|
|
</widget>
|
|
|
|
</item>
|
2017-06-07 00:55:23 +02:00
|
|
|
<item row="0" column="0">
|
|
|
|
<widget class="QTextBrowser" name="listingsTB">
|
|
|
|
<property name="sizePolicy">
|
|
|
|
<sizepolicy hsizetype="Expanding" vsizetype="Preferred">
|
2009-07-20 08:09:32 +00:00
|
|
|
<horstretch>0</horstretch>
|
|
|
|
<verstretch>0</verstretch>
|
|
|
|
</sizepolicy>
|
|
|
|
</property>
|
2017-06-07 00:55:23 +02:00
|
|
|
<property name="acceptDrops">
|
2009-07-20 08:09:32 +00:00
|
|
|
<bool>false</bool>
|
|
|
|
</property>
|
2017-06-07 00:55:23 +02:00
|
|
|
<property name="toolTip">
|
2009-07-20 08:09:32 +00:00
|
|
|
<string>Feedback window</string>
|
|
|
|
</property>
|
2017-06-07 00:55:23 +02:00
|
|
|
<property name="frameShape">
|
2009-07-20 08:09:32 +00:00
|
|
|
<enum>QFrame::Box</enum>
|
|
|
|
</property>
|
2017-06-07 00:55:23 +02:00
|
|
|
<property name="frameShadow">
|
2009-07-20 08:09:32 +00:00
|
|
|
<enum>QFrame::Plain</enum>
|
|
|
|
</property>
|
2017-06-07 00:55:23 +02:00
|
|
|
<property name="acceptRichText">
|
2009-07-20 08:09:32 +00:00
|
|
|
<bool>false</bool>
|
|
|
|
</property>
|
|
|
|
</widget>
|
|
|
|
</item>
|
2017-06-07 00:55:23 +02:00
|
|
|
<item row="3" column="0">
|
|
|
|
<widget class="QCheckBox" name="mintedCB">
|
|
|
|
<property name="toolTip">
|
|
|
|
<string>Use the minted package instead of the listings one</string>
|
|
|
|
</property>
|
|
|
|
<property name="text">
|
2017-06-11 13:58:34 +02:00
|
|
|
<string>Use &minted</string>
|
2017-06-07 00:55:23 +02:00
|
|
|
</property>
|
|
|
|
</widget>
|
|
|
|
</item>
|
|
|
|
<item row="2" column="0">
|
|
|
|
<widget class="QCheckBox" name="bypassCB">
|
|
|
|
<property name="toolTip">
|
2009-07-20 08:09:32 +00:00
|
|
|
<string>Check it to enter parameters that are not recognizable by LyX</string>
|
|
|
|
</property>
|
2017-06-07 00:55:23 +02:00
|
|
|
<property name="text">
|
2009-07-20 08:09:32 +00:00
|
|
|
<string>&Bypass validation</string>
|
|
|
|
</property>
|
|
|
|
</widget>
|
|
|
|
</item>
|
|
|
|
</layout>
|
|
|
|
</widget>
|
|
|
|
<includes>
|
2017-06-07 00:55:23 +02:00
|
|
|
<include location="local">qt_i18n.h</include>
|
2009-07-20 08:09:32 +00:00
|
|
|
</includes>
|
|
|
|
<resources/>
|
|
|
|
<connections/>
|
|
|
|
</ui>
|