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>0</number>
  43    </property>
  44    <property name="topMargin">
  45     <number>0</number>
  46    </property>
  47    <property name="rightMargin">
  48     <number>9</number>
  49    </property>
  50    <property name="bottomMargin">
  51     <number>0</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>0</number>
  98        </property>
  99        <property name="topMargin">
 100         <number>0</number>
 101        </property>
 102        <property name="rightMargin">
 103         <number>0</number>
 104        </property>
 105        <property name="bottomMargin">
 106         <number>0</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="styleSheet">
 126           <string notr="true">border: </string>
 127          </property>
 128          <property name="frameShape">
 129           <enum>QFrame::StyledPanel</enum>
 130          </property>
 131          <property name="frameShadow">
 132           <enum>QFrame::Sunken</enum>
 133          </property>
 134          <property name="lineWidth">
 135           <number>1</number>
 136          </property>
 137          <property name="readOnly">
 138           <bool>true</bool>
 139          </property>
 140         </widget>
 141        </item>
 142       </layout>
 143      </widget>
 144      <widget class="QWidget" name="tab_2">
 145       <attribute name="title">
 146        <string>Settings</string>
 147       </attribute>
 148       <layout class="QGridLayout" columnstretch="0,0">
 149        <property name="leftMargin">
 150         <number>0</number>
 151        </property>
 152        <property name="topMargin">
 153         <number>0</number>
 154        </property>
 155        <property name="rightMargin">
 156         <number>0</number>
 157        </property>
 158        <property name="bottomMargin">
 159         <number>0</number>
 160        </property>
 161        <property name="spacing">
 162         <number>0</number>
 163        </property>
 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>
 168          </property>
 169          <column>
 170           <property name="text">
 171            <string>1</string>
 172           </property>
 173          </column>
 174         </widget>
 175        </item>
 176        <item row="0" column="0">
 177         <layout class="QVBoxLayout" name="verticalLayout">
 178          <property name="spacing">
 179           <number>0</number>
 180          </property>
 181          <property name="leftMargin">
 182           <number>9</number>
 183          </property>
 184          <property name="topMargin">
 185           <number>9</number>
 186          </property>
 187          <property name="rightMargin">
 188           <number>9</number>
 189          </property>
 190          <property name="bottomMargin">
 191           <number>9</number>
 192          </property>
 193          <item>
 194           <widget class="QCheckBox" name="sbarCB">
 195            <property name="toolTip">
 196             <string>Display statusbar messages?</string>
 197            </property>
 198            <property name="text">
 199             <string>&amp;Statusbar messages</string>
 200            </property>
 201            <property name="checked">
 202             <bool>true</bool>
 203            </property>
 204           </widget>
 205          </item>
 206          <item>
 207           <widget class="QGroupBox" name="groupBox">
 208            <property name="sizePolicy">
 209             <sizepolicy hsizetype="Preferred" vsizetype="Fixed">
 210              <horstretch>0</horstretch>
 211              <verstretch>0</verstretch>
 212             </sizepolicy>
 213            </property>
 214            <property name="title">
 215             <string>Debug messages</string>
 216            </property>
 217            <property name="flat">
 218             <bool>true</bool>
 219            </property>
 220            <layout class="QGridLayout">
 221             <property name="leftMargin">
 222              <number>9</number>
 223             </property>
 224             <property name="topMargin">
 225              <number>9</number>
 226             </property>
 227             <property name="rightMargin">
 228              <number>9</number>
 229             </property>
 230             <property name="bottomMargin">
 231              <number>9</number>
 232             </property>
 233             <property name="spacing">
 234              <number>6</number>
 235             </property>
 236             <item row="0" column="2">
 237              <widget class="QRadioButton" name="debugAnyRB">
 238               <property name="toolTip">
 239                <string>Display all debug messages</string>
 240               </property>
 241               <property name="text">
 242                <string>&amp;All</string>
 243               </property>
 244              </widget>
 245             </item>
 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>
 250               </property>
 251               <property name="text">
 252                <string>S&amp;elected</string>
 253               </property>
 254              </widget>
 255             </item>
 256             <item row="0" column="0">
 257              <widget class="QRadioButton" name="debugNoneRB">
 258               <property name="toolTip">
 259                <string>Display no debug messages</string>
 260               </property>
 261               <property name="text">
 262                <string>&amp;None</string>
 263               </property>
 264              </widget>
 265             </item>
 266            </layout>
 267           </widget>
 268          </item>
 269          <item>
 270           <widget class="QCheckBox" name="autoClearCB">
 271            <property name="toolTip">
 272             <string>Automatic cleanup of the window before LaTeX compilation proceeds</string>
 273            </property>
 274            <property name="text">
 275             <string>&amp;Clear automatically</string>
 276            </property>
 277           </widget>
 278          </item>
 279         </layout>
 280        </item>
 281        <item row="1" column="0" rowspan="5">
 282         <spacer>
 283          <property name="orientation">
 284           <enum>Qt::Vertical</enum>
 285          </property>
 286          <property name="sizeType">
 287           <enum>QSizePolicy::Preferred</enum>
 288          </property>
 289          <property name="sizeHint" stdset="0">
 290           <size>
 291            <width>187</width>
 292            <height>3</height>
 293           </size>
 294          </property>
 295         </spacer>
 296        </item>
 297       </layout>
 298      </widget>
 299     </widget>
 300    </item>
 301   </layout>
 302  </widget>
 303  <includes>
 304   <include location="local">qt_i18n.h</include>
 305  </includes>
 306  <resources/>
 307  <connections/>
 308 </ui>