2010-01-11 16:10:43 +00:00
|
|
|
<ui version="4.0" >
|
|
|
|
<author></author>
|
|
|
|
<comment></comment>
|
|
|
|
<exportmacro></exportmacro>
|
2009-12-28 21:40:14 +00:00
|
|
|
<class>ProgressViewUi</class>
|
2010-01-11 16:10:43 +00:00
|
|
|
<widget class="QWidget" name="ProgressViewUi" >
|
|
|
|
<property name="geometry" >
|
2009-12-28 21:40:14 +00:00
|
|
|
<rect>
|
|
|
|
<x>0</x>
|
|
|
|
<y>0</y>
|
2010-01-11 16:10:43 +00:00
|
|
|
<width>543</width>
|
|
|
|
<height>298</height>
|
2009-12-28 21:40:14 +00:00
|
|
|
</rect>
|
|
|
|
</property>
|
2010-01-11 16:10:43 +00:00
|
|
|
<property name="sizePolicy" >
|
|
|
|
<sizepolicy>
|
|
|
|
<hsizetype>7</hsizetype>
|
|
|
|
<vsizetype>7</vsizetype>
|
|
|
|
<horstretch>0</horstretch>
|
|
|
|
<verstretch>0</verstretch>
|
|
|
|
</sizepolicy>
|
|
|
|
</property>
|
|
|
|
<property name="minimumSize" >
|
|
|
|
<size>
|
|
|
|
<width>0</width>
|
|
|
|
<height>0</height>
|
|
|
|
</size>
|
|
|
|
</property>
|
|
|
|
<property name="sizeIncrement" >
|
|
|
|
<size>
|
|
|
|
<width>0</width>
|
|
|
|
<height>0</height>
|
|
|
|
</size>
|
|
|
|
</property>
|
|
|
|
<property name="baseSize" >
|
|
|
|
<size>
|
|
|
|
<width>0</width>
|
|
|
|
<height>0</height>
|
|
|
|
</size>
|
|
|
|
</property>
|
|
|
|
<property name="windowTitle" >
|
2009-12-28 21:40:14 +00:00
|
|
|
<string/>
|
|
|
|
</property>
|
2010-01-11 16:10:43 +00:00
|
|
|
<layout class="QGridLayout" >
|
|
|
|
<property name="margin" >
|
|
|
|
<number>9</number>
|
|
|
|
</property>
|
|
|
|
<property name="spacing" >
|
|
|
|
<number>6</number>
|
|
|
|
</property>
|
|
|
|
<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>
|
2010-01-11 16:10:43 +00:00
|
|
|
<property name="sizePolicy" >
|
|
|
|
<sizepolicy>
|
|
|
|
<hsizetype>7</hsizetype>
|
|
|
|
<vsizetype>7</vsizetype>
|
2009-12-29 15:05:37 +00:00
|
|
|
<horstretch>0</horstretch>
|
|
|
|
<verstretch>0</verstretch>
|
|
|
|
</sizepolicy>
|
2009-12-28 21:40:14 +00:00
|
|
|
</property>
|
2010-01-11 16:10:43 +00:00
|
|
|
<property name="baseSize" >
|
2009-12-29 15:05:37 +00:00
|
|
|
<size>
|
|
|
|
<width>0</width>
|
|
|
|
<height>0</height>
|
|
|
|
</size>
|
|
|
|
</property>
|
2010-01-11 16:10:43 +00:00
|
|
|
<property name="acceptDrops" >
|
2009-12-29 15:05:37 +00:00
|
|
|
<bool>false</bool>
|
|
|
|
</property>
|
2010-01-11 16:10:43 +00:00
|
|
|
<property name="layoutDirection" >
|
2009-12-29 15:05:37 +00:00
|
|
|
<enum>Qt::LeftToRight</enum>
|
|
|
|
</property>
|
2010-01-11 16:10:43 +00:00
|
|
|
<property name="autoFillBackground" >
|
2009-12-29 15:05:37 +00:00
|
|
|
<bool>false</bool>
|
|
|
|
</property>
|
2010-01-11 16:10:43 +00:00
|
|
|
<property name="tabPosition" >
|
2009-12-29 15:05:37 +00:00
|
|
|
<enum>QTabWidget::East</enum>
|
|
|
|
</property>
|
2010-01-11 16:10:43 +00:00
|
|
|
<property name="tabShape" >
|
2009-12-29 15:05:37 +00:00
|
|
|
<enum>QTabWidget::Rounded</enum>
|
|
|
|
</property>
|
2010-01-11 16:10:43 +00:00
|
|
|
<property name="currentIndex" >
|
|
|
|
<number>1</number>
|
2009-12-29 15:05:37 +00:00
|
|
|
</property>
|
2010-01-11 16:10:43 +00:00
|
|
|
<widget class="QWidget" name="tab" >
|
|
|
|
<attribute name="title" >
|
2009-12-29 15:05:37 +00:00
|
|
|
<string>Output</string>
|
|
|
|
</attribute>
|
2010-01-11 16:10:43 +00:00
|
|
|
<layout class="QGridLayout" >
|
|
|
|
<property name="margin" >
|
|
|
|
<number>9</number>
|
|
|
|
</property>
|
|
|
|
<property name="spacing" >
|
|
|
|
<number>6</number>
|
|
|
|
</property>
|
|
|
|
<item row="0" column="0" >
|
|
|
|
<widget class="QTextEdit" name="outTE" >
|
|
|
|
<property name="sizePolicy" >
|
|
|
|
<sizepolicy>
|
|
|
|
<hsizetype>7</hsizetype>
|
|
|
|
<vsizetype>7</vsizetype>
|
2009-12-29 15:05:37 +00:00
|
|
|
<horstretch>1</horstretch>
|
|
|
|
<verstretch>0</verstretch>
|
|
|
|
</sizepolicy>
|
2009-12-28 22:37:51 +00:00
|
|
|
</property>
|
2010-01-11 16:10:43 +00: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>
|
2010-01-11 16:10:43 +00: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>
|
2010-01-11 16:10:43 +00: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>
|
2010-01-11 16:10:43 +00:00
|
|
|
<property name="lineWidth" >
|
2009-12-29 15:05:37 +00:00
|
|
|
<number>1</number>
|
2009-12-28 22:37:51 +00:00
|
|
|
</property>
|
2010-01-11 16:10:43 +00: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>
|
2010-01-11 16:10:43 +00:00
|
|
|
<widget class="QWidget" name="tab_2" >
|
|
|
|
<attribute name="title" >
|
2009-12-29 15:05:37 +00:00
|
|
|
<string>Settings</string>
|
|
|
|
</attribute>
|
2010-01-11 16:10:43 +00:00
|
|
|
<layout class="QGridLayout" >
|
|
|
|
<property name="margin" >
|
|
|
|
<number>9</number>
|
|
|
|
</property>
|
|
|
|
<property name="spacing" >
|
|
|
|
<number>6</number>
|
|
|
|
</property>
|
|
|
|
<item rowspan="4" row="0" column="1" >
|
|
|
|
<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>
|
2010-01-11 16:10:43 +00:00
|
|
|
<property name="text" >
|
|
|
|
<string>1</string>
|
2009-12-29 15:05:37 +00:00
|
|
|
</property>
|
2010-01-11 07:30:45 +00:00
|
|
|
</column>
|
|
|
|
</widget>
|
|
|
|
</item>
|
2010-01-11 16:10:43 +00:00
|
|
|
<item row="2" column="0" >
|
|
|
|
<spacer>
|
|
|
|
<property name="orientation" >
|
|
|
|
<enum>Qt::Vertical</enum>
|
|
|
|
</property>
|
|
|
|
<property name="sizeType" >
|
|
|
|
<enum>QSizePolicy::Preferred</enum>
|
|
|
|
</property>
|
|
|
|
<property name="sizeHint" >
|
|
|
|
<size>
|
|
|
|
<width>187</width>
|
|
|
|
<height>3</height>
|
|
|
|
</size>
|
|
|
|
</property>
|
|
|
|
</spacer>
|
|
|
|
</item>
|
|
|
|
<item row="3" column="0" >
|
|
|
|
<widget class="QCheckBox" name="autoClearCB" >
|
|
|
|
<property name="toolTip" >
|
|
|
|
<string>Automatic cleanup of the window before LaTeX compilation proceeds</string>
|
|
|
|
</property>
|
|
|
|
<property name="text" >
|
|
|
|
<string>&Clear automatically</string>
|
|
|
|
</property>
|
|
|
|
</widget>
|
|
|
|
</item>
|
|
|
|
<item row="1" column="0" >
|
|
|
|
<widget class="QGroupBox" name="groupBox" >
|
|
|
|
<property name="sizePolicy" >
|
|
|
|
<sizepolicy>
|
|
|
|
<hsizetype>5</hsizetype>
|
|
|
|
<vsizetype>0</vsizetype>
|
|
|
|
<horstretch>0</horstretch>
|
|
|
|
<verstretch>0</verstretch>
|
|
|
|
</sizepolicy>
|
|
|
|
</property>
|
|
|
|
<property name="title" >
|
2010-01-11 07:30:45 +00:00
|
|
|
<string>Debug messages</string>
|
|
|
|
</property>
|
2010-01-11 16:10:43 +00:00
|
|
|
<layout class="QGridLayout" >
|
|
|
|
<property name="margin" >
|
|
|
|
<number>9</number>
|
|
|
|
</property>
|
|
|
|
<property name="spacing" >
|
|
|
|
<number>6</number>
|
|
|
|
</property>
|
|
|
|
<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>
|
2010-01-11 16:10:43 +00:00
|
|
|
<property name="text" >
|
2010-01-11 07:30:45 +00:00
|
|
|
<string>&None</string>
|
|
|
|
</property>
|
|
|
|
</widget>
|
|
|
|
</item>
|
2010-01-11 16:10:43 +00: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>
|
2010-01-11 16:10:43 +00:00
|
|
|
<property name="text" >
|
2010-01-11 07:30:45 +00:00
|
|
|
<string>S&elected</string>
|
|
|
|
</property>
|
|
|
|
</widget>
|
|
|
|
</item>
|
2010-01-11 16:10:43 +00: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>
|
2010-01-11 16:10:43 +00:00
|
|
|
<property name="text" >
|
2010-01-11 07:30:45 +00:00
|
|
|
<string>&All</string>
|
|
|
|
</property>
|
|
|
|
</widget>
|
|
|
|
</item>
|
|
|
|
</layout>
|
|
|
|
</widget>
|
|
|
|
</item>
|
2010-01-11 16:10:43 +00:00
|
|
|
<item row="0" column="0" >
|
|
|
|
<widget class="QCheckBox" name="sbarCB" >
|
|
|
|
<property name="toolTip" >
|
|
|
|
<string>Display statusbar messages?</string>
|
2010-01-11 07:30:45 +00:00
|
|
|
</property>
|
2010-01-11 16:10:43 +00:00
|
|
|
<property name="text" >
|
|
|
|
<string>&Statusbar messages</string>
|
2010-01-11 07:30:45 +00:00
|
|
|
</property>
|
2010-01-11 16:10:43 +00:00
|
|
|
<property name="checked" >
|
|
|
|
<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>
|
2010-01-11 16:10:43 +00:00
|
|
|
<pixmapfunction></pixmapfunction>
|
2009-12-28 21:40:14 +00:00
|
|
|
<includes>
|
2010-01-11 16:10:43 +00:00
|
|
|
<include location="local" >qt_i18n.h</include>
|
2009-12-28 21:40:14 +00:00
|
|
|
</includes>
|
|
|
|
<resources/>
|
|
|
|
<connections/>
|
|
|
|
</ui>
|