src/frontends/qt/ui/ProgressViewUi.ui

   1 <?xml version="1.0" encoding="UTF-8"?>
   2 <ui version="4.0">
   3  <class>ProgressViewUi</class>
   4  <widget class="QWidget" name="ProgressViewUi">
   5   <property name="geometry">
   6    <rect>
   7     <x>0</x>
   8     <y>0</y>
   9     <width>498</width>
  10     <height>298</height>
  11    </rect>
  12   </property>
  13   <property name="sizePolicy">
  14    <sizepolicy hsizetype="Expanding" vsizetype="Ignored">
  15     <horstretch>0</horstretch>
  16     <verstretch>0</verstretch>
  17    </sizepolicy>
  18   </property>
  19   <property name="minimumSize">
  20    <size>
  21     <width>0</width>
  22     <height>0</height>
  23    </size>
  24   </property>
  25   <property name="sizeIncrement">
  26    <size>
  27     <width>0</width>
  28     <height>0</height>
  29    </size>
  30   </property>
  31   <property name="baseSize">
  32    <size>
  33     <width>0</width>
  34     <height>0</height>
  35    </size>
  36   </property>
  37   <property name="windowTitle">
  38    <string/>
  39   </property>
  40   <layout class="QGridLayout">
  41    <property name="leftMargin">
  42     <number>9</number>
  43    </property>
  44    <property name="topMargin">
  45     <number>9</number>
  46    </property>
  47    <property name="rightMargin">
  48     <number>9</number>
  49    </property>
  50    <property name="bottomMargin">
  51     <number>9</number>
  52    </property>
  53    <property name="spacing">
  54     <number>6</number>
  55    </property>
  56    <item row="0" column="0">
  57     <widget class="QTabWidget" name="tabWidget">
  58      <property name="enabled">
  59       <bool>true</bool>
  60      </property>
  61      <property name="sizePolicy">
  62       <sizepolicy hsizetype="Expanding" vsizetype="Ignored">
  63        <horstretch>0</horstretch>
  64        <verstretch>0</verstretch>
  65       </sizepolicy>
  66      </property>
  67      <property name="baseSize">
  68       <size>
  69        <width>0</width>
  70        <height>0</height>
  71       </size>
  72      </property>
  73      <property name="acceptDrops">
  74       <bool>false</bool>
  75      </property>
  76      <property name="layoutDirection">
  77       <enum>Qt::LeftToRight</enum>
  78      </property>
  79      <property name="autoFillBackground">
  80       <bool>false</bool>
  81      </property>
  82      <property name="tabPosition">
  83       <enum>QTabWidget::East</enum>
  84      </property>
  85      <property name="tabShape">
  86       <enum>QTabWidget::Rounded</enum>
  87      </property>
  88      <property name="currentIndex">
  89       <number>0</number>
  90      </property>
  91      <widget class="QWidget" name="tab">
  92       <attribute name="title">
  93        <string>Output</string>
  94       </attribute>
  95       <layout class="QGridLayout">
  96        <property name="leftMargin">
  97         <number>9</number>
  98        </property>
  99        <property name="topMargin">
 100         <number>9</number>
 101        </property>
 102        <property name="rightMargin">
 103         <number>9</number>
 104        </property>
 105        <property name="bottomMargin">
 106         <number>9</number>
 107        </property>
 108        <property name="spacing">
 109         <number>6</number>
 110        </property>
 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>
 117           </sizepolicy>
 118          </property>
 119          <property name="maximumSize">
 120           <size>
 121            <width>16777215</width>
 122            <height>16777215</height>
 123           </size>
 124          </property>
 125          <property name="frameShape">
 126           <enum>QFrame::StyledPanel</enum>
 127          </property>
 128          <property name="frameShadow">
 129           <enum>QFrame::Sunken</enum>
 130          </property>
 131          <property name="lineWidth">
 132           <number>1</number>
 133          </property>
 134          <property name="readOnly">
 135           <bool>true</bool>
 136          </property>
 137         </widget>
 138        </item>
 139       </layout>
 140      </widget>
 141      <widget class="QWidget" name="tab_2">
 142       <attribute name="title">
 143        <string>Settings</string>
 144       </attribute>
 145       <layout class="QGridLayout" columnstretch="0,1">
 146        <property name="leftMargin">
 147         <number>9</number>
 148        </property>
 149        <property name="topMargin">
 150         <number>9</number>
 151        </property>
 152        <property name="rightMargin">
 153         <number>9</number>
 154        </property>
 155        <property name="bottomMargin">
 156         <number>9</number>
 157        </property>
 158        <property name="spacing">
 159         <number>6</number>
 160        </property>
 161        <item row="0" column="1" rowspan="4">
 162         <widget class="QTreeWidget" name="debugMessagesTW">
 163          <property name="toolTip">
 164           <string>Select the debug messages that should be displayed</string>
 165          </property>
 166          <column>
 167           <property name="text">
 168            <string>1</string>
 169           </property>
 170          </column>
 171         </widget>
 172        </item>
 173        <item row="3" column="0">
 174         <spacer>
 175          <property name="orientation">
 176           <enum>Qt::Vertical</enum>
 177          </property>
 178          <property name="sizeType">
 179           <enum>QSizePolicy::Preferred</enum>
 180          </property>
 181          <property name="sizeHint" stdset="0">
 182           <size>
 183            <width>187</width>
 184            <height>3</height>
 185           </size>
 186          </property>
 187         </spacer>
 188        </item>
 189        <item row="2" column="0">
 190         <widget class="QCheckBox" name="autoClearCB">
 191          <property name="toolTip">
 192           <string>Automatic cleanup of the window before LaTeX compilation proceeds</string>
 193          </property>
 194          <property name="text">
 195           <string>&amp;Clear automatically</string>
 196          </property>
 197         </widget>
 198        </item>
 199        <item row="1" column="0">
 200         <widget class="QGroupBox" name="groupBox">
 201          <property name="sizePolicy">
 202           <sizepolicy hsizetype="Preferred" vsizetype="Fixed">
 203            <horstretch>0</horstretch>
 204            <verstretch>0</verstretch>
 205           </sizepolicy>
 206          </property>
 207          <property name="title">
 208           <string>Debug messages</string>
 209          </property>
 210          <property name="flat">
 211           <bool>true</bool>
 212          </property>
 213          <layout class="QGridLayout">
 214           <property name="leftMargin">
 215            <number>9</number>
 216           </property>
 217           <property name="topMargin">
 218            <number>9</number>
 219           </property>
 220           <property name="rightMargin">
 221            <number>9</number>
 222           </property>
 223           <property name="bottomMargin">
 224            <number>9</number>
 225           </property>
 226           <property name="spacing">
 227            <number>6</number>
 228           </property>
 229           <item row="0" column="0">
 230            <widget class="QRadioButton" name="debugNoneRB">
 231             <property name="toolTip">
 232              <string>Display no debug messages</string>
 233             </property>
 234             <property name="text">
 235              <string>&amp;None</string>
 236             </property>
 237            </widget>
 238           </item>
 239           <item row="0" column="1">
 240            <widget class="QRadioButton" name="debugSelectedRB">
 241             <property name="toolTip">
 242              <string>Display the debug messages selected to the right</string>
 243             </property>
 244             <property name="text">
 245              <string>S&amp;elected</string>
 246             </property>
 247            </widget>
 248           </item>
 249           <item row="0" column="2">
 250            <widget class="QRadioButton" name="debugAnyRB">
 251             <property name="toolTip">
 252              <string>Display all debug messages</string>
 253             </property>
 254             <property name="text">
 255              <string>&amp;All</string>
 256             </property>
 257            </widget>
 258           </item>
 259          </layout>
 260         </widget>
 261        </item>
 262        <item row="0" column="0">
 263         <widget class="QCheckBox" name="sbarCB">
 264          <property name="toolTip">
 265           <string>Display statusbar messages?</string>
 266          </property>
 267          <property name="text">
 268           <string>&amp;Statusbar messages</string>
 269          </property>
 270          <property name="checked">
 271           <bool>true</bool>
 272          </property>
 273         </widget>
 274        </item>
 275       </layout>
 276      </widget>
 277     </widget>
 278    </item>
 279   </layout>
 280  </widget>
 281  <includes>
 282   <include location="local">qt_i18n.h</include>
 283  </includes>
 284  <resources/>
 285  <connections/>
 286 </ui>