src/frontends/qt/ui/ErrorListUi.ui

   1 <?xml version="1.0" encoding="UTF-8"?>
   2 <ui version="4.0">
   3  <class>ErrorListUi</class>
   4  <widget class="QDialog" name="ErrorListUi">
   5   <property name="geometry">
   6    <rect>
   7     <x>0</x>
   8     <y>0</y>
   9     <width>447</width>
  10     <height>422</height>
  11    </rect>
  12   </property>
  13   <property name="windowTitle">
  14    <string/>
  15   </property>
  16   <property name="sizeGripEnabled">
  17    <bool>true</bool>
  18   </property>
  19   <layout class="QGridLayout">
  20    <property name="leftMargin">
  21     <number>9</number>
  22    </property>
  23    <property name="topMargin">
  24     <number>9</number>
  25    </property>
  26    <property name="rightMargin">
  27     <number>9</number>
  28    </property>
  29    <property name="bottomMargin">
  30     <number>9</number>
  31    </property>
  32    <property name="spacing">
  33     <number>6</number>
  34    </property>
  35    <item row="1" column="0" colspan="5">
  36     <widget class="QListWidget" name="errorsLW">
  37      <property name="toolTip">
  38       <string>Selecting an error will show the error message in the panel below and the cursor will jump to the location in the document where the error occurred.</string>
  39      </property>
  40     </widget>
  41    </item>
  42    <item row="3" column="0" colspan="5">
  43     <widget class="QTextBrowser" name="descriptionTB">
  44      <property name="sizePolicy">
  45       <sizepolicy hsizetype="MinimumExpanding" vsizetype="Fixed">
  46        <horstretch>0</horstretch>
  47        <verstretch>0</verstretch>
  48       </sizepolicy>
  49      </property>
  50      <property name="toolTip">
  51       <string>For more information, refer to the complete log.</string>
  52      </property>
  53     </widget>
  54    </item>
  55    <item row="2" column="0" colspan="2">
  56     <widget class="QLabel" name="descriptionLabel">
  57      <property name="text">
  58       <string>Description:</string>
  59      </property>
  60     </widget>
  61    </item>
  62    <item row="0" column="0" colspan="2">
  63     <widget class="QLabel" name="errorsLabel">
  64      <property name="text">
  65       <string>&amp;Errors:</string>
  66      </property>
  67      <property name="buddy">
  68       <cstring>errorsLW</cstring>
  69      </property>
  70     </widget>
  71    </item>
  72    <item row="4" column="0">
  73     <widget class="QPushButton" name="viewLogPB">
  74      <property name="toolTip">
  75       <string>Open the LaTeX Log File dialog</string>
  76      </property>
  77      <property name="text">
  78       <string>View Complete &amp;Log...</string>
  79      </property>
  80     </widget>
  81    </item>
  82    <item row="4" column="2">
  83     <spacer>
  84      <property name="orientation">
  85       <enum>Qt::Horizontal</enum>
  86      </property>
  87      <property name="sizeType">
  88       <enum>QSizePolicy::Expanding</enum>
  89      </property>
  90      <property name="sizeHint" stdset="0">
  91       <size>
  92        <width>121</width>
  93        <height>30</height>
  94       </size>
  95      </property>
  96     </spacer>
  97    </item>
  98    <item row="4" column="1">
  99     <widget class="QPushButton" name="showAnywayPB">
 100      <property name="toolTip">
 101       <string>Attempt to show the output even if there were compilation errors</string>
 102      </property>
 103      <property name="text">
 104       <string>Show Output &amp;Anyway</string>
 105      </property>
 106     </widget>
 107    </item>
 108    <item row="4" column="3">
 109     <widget class="QDialogButtonBox" name="buttonBox">
 110      <property name="standardButtons">
 111       <set>QDialogButtonBox::Cancel</set>
 112      </property>
 113     </widget>
 114    </item>
 115   </layout>
 116  </widget>
 117  <tabstops>
 118   <tabstop>errorsLW</tabstop>
 119   <tabstop>descriptionTB</tabstop>
 120  </tabstops>
 121  <includes>
 122   <include location="local">qt_i18n.h</include>
 123  </includes>
 124  <resources/>
 125  <connections/>
 126 </ui>