1 <?xml version="1.0" encoding="UTF-8"?>
3 <class>ProgressViewUi</class>
4 <widget class="QWidget" name="ProgressViewUi">
5 <property name="geometry">
13 <property name="sizePolicy">
14 <sizepolicy hsizetype="Expanding" vsizetype="Ignored">
15 <horstretch>0</horstretch>
16 <verstretch>0</verstretch>
19 <property name="minimumSize">
25 <property name="sizeIncrement">
31 <property name="baseSize">
37 <property name="windowTitle">
40 <layout class="QGridLayout">
41 <property name="leftMargin">
44 <property name="topMargin">
47 <property name="rightMargin">
50 <property name="bottomMargin">
53 <property name="spacing">
56 <item row="0" column="0">
57 <widget class="QTabWidget" name="tabWidget">
58 <property name="enabled">
61 <property name="sizePolicy">
62 <sizepolicy hsizetype="Expanding" vsizetype="Ignored">
63 <horstretch>0</horstretch>
64 <verstretch>0</verstretch>
67 <property name="baseSize">
73 <property name="acceptDrops">
76 <property name="layoutDirection">
77 <enum>Qt::LeftToRight</enum>
79 <property name="autoFillBackground">
82 <property name="tabPosition">
83 <enum>QTabWidget::East</enum>
85 <property name="tabShape">
86 <enum>QTabWidget::Rounded</enum>
88 <property name="currentIndex">
91 <widget class="QWidget" name="tab">
92 <attribute name="title">
93 <string>Output</string>
95 <layout class="QGridLayout">
96 <property name="leftMargin">
99 <property name="topMargin">
102 <property name="rightMargin">
105 <property name="bottomMargin">
108 <property name="spacing">
111 <item row="0" column="0">
112 <widget class="QTextEdit" name="outTE">
113 <property name="sizePolicy">
114 <sizepolicy hsizetype="Expanding" vsizetype="Ignored">
115 <horstretch>1</horstretch>
116 <verstretch>0</verstretch>
119 <property name="maximumSize">
121 <width>16777215</width>
122 <height>16777215</height>
125 <property name="styleSheet">
126 <string notr="true">border: </string>
128 <property name="frameShape">
129 <enum>QFrame::StyledPanel</enum>
131 <property name="frameShadow">
132 <enum>QFrame::Sunken</enum>
134 <property name="lineWidth">
137 <property name="readOnly">
144 <widget class="QWidget" name="tab_2">
145 <attribute name="title">
146 <string>Settings</string>
148 <layout class="QGridLayout" columnstretch="0,0">
149 <property name="leftMargin">
152 <property name="topMargin">
155 <property name="rightMargin">
158 <property name="bottomMargin">
161 <property name="spacing">
164 <item row="0" column="1" rowspan="6">
165 <widget class="QTreeWidget" name="debugMessagesTW">
166 <property name="toolTip">
167 <string>Select the debug messages that should be displayed</string>
170 <property name="text">
176 <item row="0" column="0">
177 <layout class="QVBoxLayout" name="verticalLayout">
178 <property name="spacing">
181 <property name="leftMargin">
184 <property name="topMargin">
187 <property name="rightMargin">
190 <property name="bottomMargin">
194 <widget class="QCheckBox" name="sbarCB">
195 <property name="toolTip">
196 <string>Display statusbar messages?</string>
198 <property name="text">
199 <string>&Statusbar messages</string>
201 <property name="checked">
207 <widget class="QGroupBox" name="groupBox">
208 <property name="sizePolicy">
209 <sizepolicy hsizetype="Preferred" vsizetype="Fixed">
210 <horstretch>0</horstretch>
211 <verstretch>0</verstretch>
214 <property name="title">
215 <string>Debug messages</string>
217 <property name="flat">
220 <layout class="QGridLayout">
221 <property name="leftMargin">
224 <property name="topMargin">
227 <property name="rightMargin">
230 <property name="bottomMargin">
233 <property name="spacing">
236 <item row="0" column="2">
237 <widget class="QRadioButton" name="debugAnyRB">
238 <property name="toolTip">
239 <string>Display all debug messages</string>
241 <property name="text">
242 <string>&All</string>
246 <item row="0" column="1">
247 <widget class="QRadioButton" name="debugSelectedRB">
248 <property name="toolTip">
249 <string>Display the debug messages selected to the right</string>
251 <property name="text">
252 <string>S&elected</string>
256 <item row="0" column="0">
257 <widget class="QRadioButton" name="debugNoneRB">
258 <property name="toolTip">
259 <string>Display no debug messages</string>
261 <property name="text">
262 <string>&None</string>
270 <widget class="QCheckBox" name="autoClearCB">
271 <property name="toolTip">
272 <string>Automatic cleanup of the window before LaTeX compilation proceeds</string>
274 <property name="text">
275 <string>&Clear automatically</string>
281 <item row="1" column="0" rowspan="5">
283 <property name="orientation">
284 <enum>Qt::Vertical</enum>
286 <property name="sizeType">
287 <enum>QSizePolicy::Preferred</enum>
289 <property name="sizeHint" stdset="0">
304 <include location="local">qt_i18n.h</include>