2018-07-08 16:35:38 +02:00
|
|
|
<?xml version="1.0" encoding="UTF-8"?>
|
|
|
|
<ui version="4.0">
|
|
|
|
<class>CompareUi</class>
|
|
|
|
<widget class="QDialog" name="CompareUi">
|
|
|
|
<property name="geometry">
|
|
|
|
<rect>
|
|
|
|
<x>0</x>
|
|
|
|
<y>0</y>
|
2018-12-24 16:00:43 +01:00
|
|
|
<width>622</width>
|
|
|
|
<height>288</height>
|
2018-07-08 16:35:38 +02:00
|
|
|
</rect>
|
|
|
|
</property>
|
|
|
|
<property name="windowTitle">
|
|
|
|
<string/>
|
|
|
|
</property>
|
2018-12-24 16:00:43 +01:00
|
|
|
<property name="sizeGripEnabled">
|
|
|
|
<bool>true</bool>
|
|
|
|
</property>
|
|
|
|
<layout class="QGridLayout" name="gridLayout_2">
|
|
|
|
<item row="5" column="0">
|
|
|
|
<widget class="QProgressBar" name="progressBar">
|
|
|
|
<property name="value">
|
|
|
|
<number>24</number>
|
2018-07-08 16:35:38 +02:00
|
|
|
</property>
|
2018-12-24 16:00:43 +01:00
|
|
|
<property name="orientation">
|
|
|
|
<enum>Qt::Horizontal</enum>
|
2018-07-08 16:35:38 +02:00
|
|
|
</property>
|
2018-12-24 16:00:43 +01:00
|
|
|
</widget>
|
|
|
|
</item>
|
|
|
|
<item row="0" column="0" colspan="2">
|
|
|
|
<layout class="QGridLayout" name="gridLayout">
|
2018-07-08 16:35:38 +02:00
|
|
|
<item row="0" column="0">
|
2018-12-24 16:00:43 +01:00
|
|
|
<widget class="QLabel" name="oldFileLA">
|
2018-07-08 16:35:38 +02:00
|
|
|
<property name="text">
|
2018-12-24 16:00:43 +01:00
|
|
|
<string>Old Documen&t:</string>
|
2018-07-08 16:35:38 +02:00
|
|
|
</property>
|
|
|
|
<property name="buddy">
|
2018-12-24 16:00:43 +01:00
|
|
|
<cstring>oldFileCB</cstring>
|
2018-07-08 16:35:38 +02:00
|
|
|
</property>
|
|
|
|
</widget>
|
|
|
|
</item>
|
2018-12-24 16:00:43 +01:00
|
|
|
<item row="0" column="1">
|
|
|
|
<widget class="QComboBox" name="oldFileCB">
|
2018-07-08 16:35:38 +02:00
|
|
|
<property name="sizePolicy">
|
|
|
|
<sizepolicy hsizetype="Expanding" vsizetype="Fixed">
|
|
|
|
<horstretch>0</horstretch>
|
|
|
|
<verstretch>0</verstretch>
|
|
|
|
</sizepolicy>
|
|
|
|
</property>
|
2018-12-24 16:00:43 +01:00
|
|
|
<property name="toolTip">
|
|
|
|
<string>Specify the original version of the document here (comparation source)</string>
|
|
|
|
</property>
|
2018-07-08 16:35:38 +02:00
|
|
|
<property name="editable">
|
|
|
|
<bool>true</bool>
|
|
|
|
</property>
|
|
|
|
</widget>
|
|
|
|
</item>
|
2018-12-24 16:00:43 +01:00
|
|
|
<item row="0" column="2">
|
|
|
|
<widget class="QPushButton" name="oldFilePB">
|
2018-07-08 16:35:38 +02:00
|
|
|
<property name="text">
|
2018-12-24 16:00:43 +01:00
|
|
|
<string>Bro&wse...</string>
|
2018-07-08 16:35:38 +02:00
|
|
|
</property>
|
|
|
|
<property name="autoDefault">
|
|
|
|
<bool>false</bool>
|
|
|
|
</property>
|
|
|
|
</widget>
|
|
|
|
</item>
|
2018-12-24 16:00:43 +01:00
|
|
|
<item row="1" column="0">
|
|
|
|
<widget class="QLabel" name="newFileLA">
|
2018-07-08 16:35:38 +02:00
|
|
|
<property name="text">
|
2018-12-24 16:00:43 +01:00
|
|
|
<string>&New Document:</string>
|
2018-07-08 16:35:38 +02:00
|
|
|
</property>
|
|
|
|
<property name="buddy">
|
2018-12-24 16:00:43 +01:00
|
|
|
<cstring>newFileCB</cstring>
|
2018-07-08 16:35:38 +02:00
|
|
|
</property>
|
|
|
|
</widget>
|
|
|
|
</item>
|
2018-12-24 16:00:43 +01:00
|
|
|
<item row="1" column="1">
|
|
|
|
<widget class="QComboBox" name="newFileCB">
|
2018-07-08 16:35:38 +02:00
|
|
|
<property name="sizePolicy">
|
|
|
|
<sizepolicy hsizetype="Expanding" vsizetype="Fixed">
|
|
|
|
<horstretch>0</horstretch>
|
|
|
|
<verstretch>0</verstretch>
|
|
|
|
</sizepolicy>
|
|
|
|
</property>
|
2018-12-24 16:00:43 +01:00
|
|
|
<property name="toolTip">
|
|
|
|
<string>Specify the modified version of the document here (comparation target)</string>
|
|
|
|
</property>
|
2018-07-08 16:35:38 +02:00
|
|
|
<property name="editable">
|
|
|
|
<bool>true</bool>
|
|
|
|
</property>
|
|
|
|
</widget>
|
|
|
|
</item>
|
2018-12-24 16:00:43 +01:00
|
|
|
<item row="1" column="2">
|
|
|
|
<widget class="QPushButton" name="newFilePB">
|
2018-07-08 16:35:38 +02:00
|
|
|
<property name="text">
|
2018-12-24 16:00:43 +01:00
|
|
|
<string>&Browse...</string>
|
2018-07-08 16:35:38 +02:00
|
|
|
</property>
|
|
|
|
<property name="autoDefault">
|
|
|
|
<bool>false</bool>
|
|
|
|
</property>
|
|
|
|
</widget>
|
|
|
|
</item>
|
2018-12-24 16:00:43 +01:00
|
|
|
</layout>
|
|
|
|
</item>
|
|
|
|
<item row="2" column="0" colspan="2">
|
|
|
|
<layout class="QHBoxLayout" name="horizontalLayout_3">
|
|
|
|
<item>
|
2018-07-08 16:35:38 +02:00
|
|
|
<widget class="QGroupBox" name="groupBox">
|
|
|
|
<property name="sizePolicy">
|
|
|
|
<sizepolicy hsizetype="Expanding" vsizetype="Fixed">
|
|
|
|
<horstretch>0</horstretch>
|
|
|
|
<verstretch>0</verstretch>
|
|
|
|
</sizepolicy>
|
|
|
|
</property>
|
2018-12-24 16:00:43 +01:00
|
|
|
<property name="toolTip">
|
|
|
|
<string>Select the document from which the settings should be taken</string>
|
|
|
|
</property>
|
2018-07-08 16:35:38 +02:00
|
|
|
<property name="title">
|
2018-12-24 16:00:43 +01:00
|
|
|
<string>Document Settings</string>
|
|
|
|
</property>
|
|
|
|
<property name="flat">
|
|
|
|
<bool>true</bool>
|
2018-07-08 16:35:38 +02:00
|
|
|
</property>
|
|
|
|
<layout class="QHBoxLayout" name="horizontalLayout">
|
|
|
|
<item>
|
2018-12-24 16:00:43 +01:00
|
|
|
<widget class="QRadioButton" name="oldSettingsRB">
|
2018-07-08 16:35:38 +02:00
|
|
|
<property name="text">
|
2018-12-24 16:00:43 +01:00
|
|
|
<string>O&ld Document</string>
|
2011-03-12 17:02:03 +00:00
|
|
|
</property>
|
2018-07-08 16:35:38 +02:00
|
|
|
</widget>
|
|
|
|
</item>
|
|
|
|
<item>
|
2018-12-24 16:00:43 +01:00
|
|
|
<widget class="QRadioButton" name="newSettingsRB">
|
2018-07-08 16:35:38 +02:00
|
|
|
<property name="text">
|
2018-12-24 16:00:43 +01:00
|
|
|
<string>New Docu&ment</string>
|
2018-07-08 16:35:38 +02:00
|
|
|
</property>
|
|
|
|
</widget>
|
|
|
|
</item>
|
2018-12-24 16:00:43 +01:00
|
|
|
<item>
|
|
|
|
<spacer name="horizontalSpacer">
|
|
|
|
<property name="orientation">
|
|
|
|
<enum>Qt::Horizontal</enum>
|
|
|
|
</property>
|
|
|
|
<property name="sizeHint" stdset="0">
|
|
|
|
<size>
|
|
|
|
<width>40</width>
|
|
|
|
<height>20</height>
|
|
|
|
</size>
|
|
|
|
</property>
|
|
|
|
</spacer>
|
|
|
|
</item>
|
2018-07-08 16:35:38 +02:00
|
|
|
</layout>
|
|
|
|
</widget>
|
|
|
|
</item>
|
2018-12-24 16:00:43 +01:00
|
|
|
</layout>
|
|
|
|
</item>
|
|
|
|
<item row="6" column="0" colspan="2">
|
|
|
|
<layout class="QHBoxLayout">
|
|
|
|
<item>
|
|
|
|
<layout class="QHBoxLayout" name="horizontalLayout_4" stretch="1,0">
|
|
|
|
<item>
|
|
|
|
<widget class="QStatusBar" name="statusBar">
|
|
|
|
<property name="sizeGripEnabled">
|
|
|
|
<bool>false</bool>
|
|
|
|
</property>
|
|
|
|
</widget>
|
|
|
|
</item>
|
2018-07-08 16:35:38 +02:00
|
|
|
<item>
|
|
|
|
<widget class="QDialogButtonBox" name="buttonBox">
|
|
|
|
<property name="standardButtons">
|
|
|
|
<set>QDialogButtonBox::Cancel|QDialogButtonBox::Ok</set>
|
|
|
|
</property>
|
|
|
|
</widget>
|
|
|
|
</item>
|
|
|
|
</layout>
|
|
|
|
</item>
|
2009-10-24 15:47:05 +00:00
|
|
|
</layout>
|
2018-07-08 16:35:38 +02:00
|
|
|
</item>
|
2018-12-24 16:00:43 +01:00
|
|
|
<item row="3" column="0" colspan="2">
|
|
|
|
<widget class="QCheckBox" name="trackingCB">
|
|
|
|
<property name="toolTip">
|
|
|
|
<string>Turns on the change tracking and showing changes in LaTeX output for the resulting document</string>
|
|
|
|
</property>
|
|
|
|
<property name="text">
|
|
|
|
<string>&Enable change tracking features in the output</string>
|
|
|
|
</property>
|
|
|
|
<property name="checked">
|
|
|
|
<bool>false</bool>
|
|
|
|
</property>
|
|
|
|
</widget>
|
|
|
|
</item>
|
|
|
|
<item row="4" column="0">
|
|
|
|
<spacer name="verticalSpacer_2">
|
|
|
|
<property name="orientation">
|
|
|
|
<enum>Qt::Vertical</enum>
|
|
|
|
</property>
|
|
|
|
<property name="sizeHint" stdset="0">
|
|
|
|
<size>
|
|
|
|
<width>20</width>
|
|
|
|
<height>4</height>
|
|
|
|
</size>
|
|
|
|
</property>
|
|
|
|
</spacer>
|
|
|
|
</item>
|
|
|
|
<item row="1" column="0">
|
|
|
|
<spacer name="verticalSpacer">
|
|
|
|
<property name="orientation">
|
|
|
|
<enum>Qt::Vertical</enum>
|
|
|
|
</property>
|
|
|
|
<property name="sizeType">
|
|
|
|
<enum>QSizePolicy::Fixed</enum>
|
|
|
|
</property>
|
|
|
|
<property name="sizeHint" stdset="0">
|
|
|
|
<size>
|
|
|
|
<width>20</width>
|
|
|
|
<height>4</height>
|
|
|
|
</size>
|
|
|
|
</property>
|
|
|
|
</spacer>
|
2018-07-08 16:35:38 +02:00
|
|
|
</item>
|
|
|
|
</layout>
|
|
|
|
</widget>
|
|
|
|
<includes>
|
|
|
|
<include location="local">qt_i18n.h</include>
|
|
|
|
</includes>
|
|
|
|
<resources/>
|
|
|
|
<connections/>
|
2009-10-24 15:47:05 +00:00
|
|
|
</ui>
|