2018-12-24 16:08:39 +01:00
|
|
|
<?xml version="1.0" encoding="UTF-8"?>
|
|
|
|
<ui version="4.0">
|
2009-12-28 21:40:14 +00:00
|
|
|
<class>ProgressViewUi</class>
|
2018-12-24 16:08:39 +01:00
|
|
|
<widget class="QWidget" name="ProgressViewUi">
|
|
|
|
<property name="geometry">
|
2009-12-28 21:40:14 +00:00
|
|
|
<rect>
|
|
|
|
<x>0</x>
|
|
|
|
<y>0</y>
|
2018-12-24 16:08:39 +01:00
|
|
|
<width>498</width>
|
2010-01-11 16:10:43 +00:00
|
|
|
<height>298</height>
|
2009-12-28 21:40:14 +00:00
|
|
|
</rect>
|
|
|
|
</property>
|
2018-12-24 16:08:39 +01:00
|
|
|
<property name="sizePolicy">
|
|
|
|
<sizepolicy hsizetype="Expanding" vsizetype="Ignored">
|
2010-01-11 16:10:43 +00:00
|
|
|
<horstretch>0</horstretch>
|
|
|
|
<verstretch>0</verstretch>
|
|
|
|
</sizepolicy>
|
|
|
|
</property>
|
2018-12-24 16:08:39 +01:00
|
|
|
<property name="minimumSize">
|
2010-01-11 16:10:43 +00:00
|
|
|
<size>
|
|
|
|
<width>0</width>
|
|
|
|
<height>0</height>
|
|
|
|
</size>
|
|
|
|
</property>
|
2018-12-24 16:08:39 +01:00
|
|
|
<property name="sizeIncrement">
|
2010-01-11 16:10:43 +00:00
|
|
|
<size>
|
|
|
|
<width>0</width>
|
|
|
|
<height>0</height>
|
|
|
|
</size>
|
|
|
|
</property>
|
2018-12-24 16:08:39 +01:00
|
|
|
<property name="baseSize">
|
2010-01-11 16:10:43 +00:00
|
|
|
<size>
|
|
|
|
<width>0</width>
|
|
|
|
<height>0</height>
|
|
|
|
</size>
|
|
|
|
</property>
|
2018-12-24 16:08:39 +01:00
|
|
|
<property name="windowTitle">
|
2009-12-28 21:40:14 +00:00
|
|
|
<string/>
|
|
|
|
</property>
|
2018-12-24 16:08:39 +01:00
|
|
|
<layout class="QGridLayout">
|
|
|
|
<property name="leftMargin">
|
2010-01-11 16:10:43 +00:00
|
|
|
<number>9</number>
|
|
|
|
</property>
|
2018-12-24 16:08:39 +01:00
|
|
|
<property name="topMargin">
|
|
|
|
<number>9</number>
|
|
|
|
</property>
|
|
|
|
<property name="rightMargin">
|
|
|
|
<number>9</number>
|
|
|
|
</property>
|
|
|
|
<property name="bottomMargin">
|
|
|
|
<number>9</number>
|
|
|
|
</property>
|
|
|
|
<property name="spacing">
|
2010-01-11 16:10:43 +00:00
|
|
|
<number>6</number>
|
|
|
|
</property>
|
2018-12-24 16:08:39 +01:00
|
|
|
<item row="0" column="0">
|
|
|
|
<widget class="QTabWidget" name="tabWidget">
|
|
|
|
<property name="enabled">
|
2009-12-29 15:05:37 +00:00
|
|
|
<bool>true</bool>
|
2009-12-28 21:40:14 +00:00
|
|
|
</property>
|
2018-12-24 16:08:39 +01:00
|
|
|
<property name="sizePolicy">
|
|
|
|
<sizepolicy hsizetype="Expanding" vsizetype="Ignored">
|
2009-12-29 15:05:37 +00:00
|
|
|
<horstretch>0</horstretch>
|
|
|
|
<verstretch>0</verstretch>
|
|
|
|
</sizepolicy>
|
2009-12-28 21:40:14 +00:00
|
|
|
</property>
|
2018-12-24 16:08:39 +01:00
|
|
|
<property name="baseSize">
|
2009-12-29 15:05:37 +00:00
|
|
|
<size>
|
|
|
|
<width>0</width>
|
|
|
|
<height>0</height>
|
|
|
|
</size>
|
|
|
|
</property>
|
2018-12-24 16:08:39 +01:00
|
|
|
<property name="acceptDrops">
|
2009-12-29 15:05:37 +00:00
|
|
|
<bool>false</bool>
|
|
|
|
</property>
|
2018-12-24 16:08:39 +01:00
|
|
|
<property name="layoutDirection">
|
2009-12-29 15:05:37 +00:00
|
|
|
<enum>Qt::LeftToRight</enum>
|
|
|
|
</property>
|
2018-12-24 16:08:39 +01:00
|
|
|
<property name="autoFillBackground">
|
2009-12-29 15:05:37 +00:00
|
|
|
<bool>false</bool>
|
|
|
|
</property>
|
2018-12-24 16:08:39 +01:00
|
|
|
<property name="tabPosition">
|
2009-12-29 15:05:37 +00:00
|
|
|
<enum>QTabWidget::East</enum>
|
|
|
|
</property>
|
2018-12-24 16:08:39 +01:00
|
|
|
<property name="tabShape">
|
2009-12-29 15:05:37 +00:00
|
|
|
<enum>QTabWidget::Rounded</enum>
|
|
|
|
</property>
|
2018-12-24 16:08:39 +01:00
|
|
|
<property name="currentIndex">
|
2010-01-12 14:22:02 +00:00
|
|
|
<number>0</number>
|
2009-12-29 15:05:37 +00:00
|
|
|
</property>
|
2018-12-24 16:08:39 +01:00
|
|
|
<widget class="QWidget" name="tab">
|
|
|
|
<attribute name="title">
|
2009-12-29 15:05:37 +00:00
|
|
|
<string>Output</string>
|
|
|
|
</attribute>
|
2018-12-24 16:08:39 +01:00
|
|
|
<layout class="QGridLayout">
|
|
|
|
<property name="leftMargin">
|
|
|
|
<number>9</number>
|
|
|
|
</property>
|
|
|
|
<property name="topMargin">
|
|
|
|
<number>9</number>
|
|
|
|
</property>
|
|
|
|
<property name="rightMargin">
|
|
|
|
<number>9</number>
|
|
|
|
</property>
|
|
|
|
<property name="bottomMargin">
|
2010-01-11 16:10:43 +00:00
|
|
|
<number>9</number>
|
|
|
|
</property>
|
2018-12-24 16:08:39 +01:00
|
|
|
<property name="spacing">
|
2010-01-11 16:10:43 +00:00
|
|
|
<number>6</number>
|
|
|
|
</property>
|
2018-12-24 16:08:39 +01:00
|
|
|
<item row="0" column="0">
|
|
|
|
<widget class="QTextEdit" name="outTE">
|
|
|
|
<property name="sizePolicy">
|
|
|
|
<sizepolicy hsizetype="Expanding" vsizetype="Ignored">
|
2009-12-29 15:05:37 +00:00
|
|
|
<horstretch>1</horstretch>
|
|
|
|
<verstretch>0</verstretch>
|
|
|
|
</sizepolicy>
|
2009-12-28 22:37:51 +00:00
|
|
|
</property>
|
2018-12-24 16:08:39 +01:00
|
|
|
<property name="maximumSize">
|
2009-12-29 15:05:37 +00:00
|
|
|
<size>
|
|
|
|
<width>16777215</width>
|
|
|
|
<height>16777215</height>
|
|
|
|
</size>
|
2009-12-28 22:37:51 +00:00
|
|
|
</property>
|
2018-12-24 16:08:39 +01:00
|
|
|
<property name="frameShape">
|
2009-12-29 15:05:37 +00:00
|
|
|
<enum>QFrame::StyledPanel</enum>
|
2009-12-28 22:37:51 +00:00
|
|
|
</property>
|
2018-12-24 16:08:39 +01:00
|
|
|
<property name="frameShadow">
|
2009-12-29 15:05:37 +00:00
|
|
|
<enum>QFrame::Sunken</enum>
|
2009-12-28 22:37:51 +00:00
|
|
|
</property>
|
2018-12-24 16:08:39 +01:00
|
|
|
<property name="lineWidth">
|
2009-12-29 15:05:37 +00:00
|
|
|
<number>1</number>
|
2009-12-28 22:37:51 +00:00
|
|
|
</property>
|
2018-12-24 16:08:39 +01:00
|
|
|
<property name="readOnly">
|
2009-12-29 15:05:37 +00:00
|
|
|
<bool>true</bool>
|
2009-12-28 22:37:51 +00:00
|
|
|
</property>
|
2009-12-29 15:05:37 +00:00
|
|
|
</widget>
|
|
|
|
</item>
|
|
|
|
</layout>
|
|
|
|
</widget>
|
2018-12-24 16:08:39 +01:00
|
|
|
<widget class="QWidget" name="tab_2">
|
|
|
|
<attribute name="title">
|
2009-12-29 15:05:37 +00:00
|
|
|
<string>Settings</string>
|
|
|
|
</attribute>
|
2018-12-24 16:08:39 +01:00
|
|
|
<layout class="QGridLayout" columnstretch="0,1">
|
|
|
|
<property name="leftMargin">
|
2010-01-11 16:10:43 +00:00
|
|
|
<number>9</number>
|
|
|
|
</property>
|
2018-12-24 16:08:39 +01:00
|
|
|
<property name="topMargin">
|
|
|
|
<number>9</number>
|
|
|
|
</property>
|
|
|
|
<property name="rightMargin">
|
|
|
|
<number>9</number>
|
|
|
|
</property>
|
|
|
|
<property name="bottomMargin">
|
|
|
|
<number>9</number>
|
|
|
|
</property>
|
|
|
|
<property name="spacing">
|
2010-01-11 16:10:43 +00:00
|
|
|
<number>6</number>
|
|
|
|
</property>
|
2018-12-24 16:08:39 +01:00
|
|
|
<item row="0" column="1" rowspan="4">
|
|
|
|
<widget class="QTreeWidget" name="debugMessagesTW">
|
|
|
|
<property name="toolTip">
|
2010-01-11 07:30:45 +00:00
|
|
|
<string>Select the debug messages that should be displayed</string>
|
|
|
|
</property>
|
|
|
|
<column>
|
2018-12-24 16:08:39 +01:00
|
|
|
<property name="text">
|
2010-01-11 16:10:43 +00:00
|
|
|
<string>1</string>
|
2009-12-29 15:05:37 +00:00
|
|
|
</property>
|
2010-01-11 07:30:45 +00:00
|
|
|
</column>
|
|
|
|
</widget>
|
|
|
|
</item>
|
2018-12-24 16:08:39 +01:00
|
|
|
<item row="3" column="0">
|
2010-01-11 16:10:43 +00:00
|
|
|
<spacer>
|
2018-12-24 16:08:39 +01:00
|
|
|
<property name="orientation">
|
2010-01-11 16:10:43 +00:00
|
|
|
<enum>Qt::Vertical</enum>
|
|
|
|
</property>
|
2018-12-24 16:08:39 +01:00
|
|
|
<property name="sizeType">
|
2010-01-11 16:10:43 +00:00
|
|
|
<enum>QSizePolicy::Preferred</enum>
|
|
|
|
</property>
|
2018-12-24 16:08:39 +01:00
|
|
|
<property name="sizeHint" stdset="0">
|
2010-01-11 16:10:43 +00:00
|
|
|
<size>
|
|
|
|
<width>187</width>
|
|
|
|
<height>3</height>
|
|
|
|
</size>
|
|
|
|
</property>
|
|
|
|
</spacer>
|
|
|
|
</item>
|
2018-12-24 16:08:39 +01:00
|
|
|
<item row="2" column="0">
|
|
|
|
<widget class="QCheckBox" name="autoClearCB">
|
|
|
|
<property name="toolTip">
|
2010-01-11 16:10:43 +00:00
|
|
|
<string>Automatic cleanup of the window before LaTeX compilation proceeds</string>
|
|
|
|
</property>
|
2018-12-24 16:08:39 +01:00
|
|
|
<property name="text">
|
2010-01-11 16:10:43 +00:00
|
|
|
<string>&Clear automatically</string>
|
|
|
|
</property>
|
|
|
|
</widget>
|
|
|
|
</item>
|
2018-12-24 16:08:39 +01:00
|
|
|
<item row="1" column="0">
|
|
|
|
<widget class="QGroupBox" name="groupBox">
|
|
|
|
<property name="sizePolicy">
|
|
|
|
<sizepolicy hsizetype="Preferred" vsizetype="Fixed">
|
2010-01-11 16:10:43 +00:00
|
|
|
<horstretch>0</horstretch>
|
|
|
|
<verstretch>0</verstretch>
|
|
|
|
</sizepolicy>
|
|
|
|
</property>
|
2018-12-24 16:08:39 +01:00
|
|
|
<property name="title">
|
2010-01-11 07:30:45 +00:00
|
|
|
<string>Debug messages</string>
|
|
|
|
</property>
|
2018-12-25 17:02:18 +01:00
|
|
|
<property name="flat">
|
|
|
|
<bool>true</bool>
|
|
|
|
</property>
|
2018-12-24 16:08:39 +01:00
|
|
|
<layout class="QGridLayout">
|
|
|
|
<property name="leftMargin">
|
|
|
|
<number>9</number>
|
|
|
|
</property>
|
|
|
|
<property name="topMargin">
|
|
|
|
<number>9</number>
|
|
|
|
</property>
|
|
|
|
<property name="rightMargin">
|
|
|
|
<number>9</number>
|
|
|
|
</property>
|
|
|
|
<property name="bottomMargin">
|
2010-01-11 16:10:43 +00:00
|
|
|
<number>9</number>
|
|
|
|
</property>
|
2018-12-24 16:08:39 +01:00
|
|
|
<property name="spacing">
|
2010-01-11 16:10:43 +00:00
|
|
|
<number>6</number>
|
|
|
|
</property>
|
2018-12-24 16:08:39 +01:00
|
|
|
<item row="0" column="0">
|
|
|
|
<widget class="QRadioButton" name="debugNoneRB">
|
|
|
|
<property name="toolTip">
|
2010-01-11 07:30:45 +00:00
|
|
|
<string>Display no debug messages</string>
|
|
|
|
</property>
|
2018-12-24 16:08:39 +01:00
|
|
|
<property name="text">
|
2010-01-11 07:30:45 +00:00
|
|
|
<string>&None</string>
|
|
|
|
</property>
|
|
|
|
</widget>
|
|
|
|
</item>
|
2018-12-24 16:08:39 +01:00
|
|
|
<item row="0" column="1">
|
|
|
|
<widget class="QRadioButton" name="debugSelectedRB">
|
|
|
|
<property name="toolTip">
|
2010-01-11 07:30:45 +00:00
|
|
|
<string>Display the debug messages selected to the right</string>
|
|
|
|
</property>
|
2018-12-24 16:08:39 +01:00
|
|
|
<property name="text">
|
2010-01-11 07:30:45 +00:00
|
|
|
<string>S&elected</string>
|
|
|
|
</property>
|
|
|
|
</widget>
|
|
|
|
</item>
|
2018-12-24 16:08:39 +01:00
|
|
|
<item row="0" column="2">
|
|
|
|
<widget class="QRadioButton" name="debugAnyRB">
|
|
|
|
<property name="toolTip">
|
2010-01-11 07:30:45 +00:00
|
|
|
<string>Display all debug messages</string>
|
|
|
|
</property>
|
2018-12-24 16:08:39 +01:00
|
|
|
<property name="text">
|
2010-01-11 07:30:45 +00:00
|
|
|
<string>&All</string>
|
|
|
|
</property>
|
|
|
|
</widget>
|
|
|
|
</item>
|
|
|
|
</layout>
|
|
|
|
</widget>
|
|
|
|
</item>
|
2018-12-24 16:08:39 +01:00
|
|
|
<item row="0" column="0">
|
|
|
|
<widget class="QCheckBox" name="sbarCB">
|
|
|
|
<property name="toolTip">
|
2010-01-11 16:10:43 +00:00
|
|
|
<string>Display statusbar messages?</string>
|
2010-01-11 07:30:45 +00:00
|
|
|
</property>
|
2018-12-24 16:08:39 +01:00
|
|
|
<property name="text">
|
2010-01-11 16:10:43 +00:00
|
|
|
<string>&Statusbar messages</string>
|
2010-01-11 07:30:45 +00:00
|
|
|
</property>
|
2018-12-24 16:08:39 +01:00
|
|
|
<property name="checked">
|
2010-01-11 16:10:43 +00:00
|
|
|
<bool>true</bool>
|
2010-01-11 07:30:45 +00:00
|
|
|
</property>
|
2009-12-28 22:37:51 +00:00
|
|
|
</widget>
|
2009-12-29 15:05:37 +00:00
|
|
|
</item>
|
|
|
|
</layout>
|
|
|
|
</widget>
|
|
|
|
</widget>
|
2009-12-28 21:40:14 +00:00
|
|
|
</item>
|
|
|
|
</layout>
|
|
|
|
</widget>
|
|
|
|
<includes>
|
2018-12-24 16:08:39 +01:00
|
|
|
<include location="local">qt_i18n.h</include>
|
2009-12-28 21:40:14 +00:00
|
|
|
</includes>
|
|
|
|
<resources/>
|
|
|
|
<connections/>
|
|
|
|
</ui>
|