337 lines
10 KiB
XML
337 lines
10 KiB
XML
<?xml version="1.0" encoding="UTF-8"?>
|
||
<ui version="4.0">
|
||
<class>ExecutorProblemSetWidget</class>
|
||
<widget class="QWidget" name="ExecutorProblemSetWidget">
|
||
<property name="geometry">
|
||
<rect>
|
||
<x>0</x>
|
||
<y>0</y>
|
||
<width>545</width>
|
||
<height>503</height>
|
||
</rect>
|
||
</property>
|
||
<property name="windowTitle">
|
||
<string>Form</string>
|
||
</property>
|
||
<layout class="QVBoxLayout" name="verticalLayout">
|
||
<item>
|
||
<widget class="QGroupBox" name="grpProblemSet">
|
||
<property name="title">
|
||
<string>Enable Problem Set</string>
|
||
</property>
|
||
<property name="checkable">
|
||
<bool>true</bool>
|
||
</property>
|
||
<layout class="QVBoxLayout" name="verticalLayout_2">
|
||
<item>
|
||
<widget class="QGroupBox" name="grpCompetitiveCompanion">
|
||
<property name="title">
|
||
<string>Listen for Competitive Companion</string>
|
||
</property>
|
||
<property name="checkable">
|
||
<bool>true</bool>
|
||
</property>
|
||
<layout class="QGridLayout" name="gridLayout">
|
||
<item row="0" column="1">
|
||
<widget class="QSpinBox" name="spinPortNumber">
|
||
<property name="minimum">
|
||
<number>1025</number>
|
||
</property>
|
||
<property name="maximum">
|
||
<number>65535</number>
|
||
</property>
|
||
</widget>
|
||
</item>
|
||
<item row="0" column="2">
|
||
<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>
|
||
<item row="0" column="0">
|
||
<widget class="QLabel" name="label">
|
||
<property name="text">
|
||
<string>Port Number</string>
|
||
</property>
|
||
</widget>
|
||
</item>
|
||
<item row="1" column="0" colspan="3">
|
||
<widget class="QWidget" name="widget" native="true">
|
||
<layout class="QHBoxLayout" name="horizontalLayout_3">
|
||
<property name="leftMargin">
|
||
<number>0</number>
|
||
</property>
|
||
<property name="topMargin">
|
||
<number>0</number>
|
||
</property>
|
||
<property name="rightMargin">
|
||
<number>0</number>
|
||
</property>
|
||
<property name="bottomMargin">
|
||
<number>0</number>
|
||
</property>
|
||
<item>
|
||
<widget class="QLabel" name="label_6">
|
||
<property name="text">
|
||
<string>Convert HTML for：</string>
|
||
</property>
|
||
</widget>
|
||
</item>
|
||
<item>
|
||
<widget class="QCheckBox" name="chkConvertInputHTML">
|
||
<property name="text">
|
||
<string>Input</string>
|
||
</property>
|
||
</widget>
|
||
</item>
|
||
<item>
|
||
<widget class="QCheckBox" name="chkConvertExpectedHTML">
|
||
<property name="text">
|
||
<string>Expected Output</string>
|
||
</property>
|
||
</widget>
|
||
</item>
|
||
<item>
|
||
<spacer name="horizontalSpacer_5">
|
||
<property name="orientation">
|
||
<enum>Qt::Horizontal</enum>
|
||
</property>
|
||
<property name="sizeHint" stdset="0">
|
||
<size>
|
||
<width>40</width>
|
||
<height>20</height>
|
||
</size>
|
||
</property>
|
||
</spacer>
|
||
</item>
|
||
</layout>
|
||
</widget>
|
||
</item>
|
||
</layout>
|
||
</widget>
|
||
</item>
|
||
<item>
|
||
<widget class="QCheckBox" name="chkRedirectStderr">
|
||
<property name="text">
|
||
<string>Redirect STDERR to Tools output panel</string>
|
||
</property>
|
||
</widget>
|
||
</item>
|
||
<item>
|
||
<widget class="QCheckBox" name="chkIgnoreSpacesWhenValidatingCases">
|
||
<property name="text">
|
||
<string>Ignore spaces when validating problem cases</string>
|
||
</property>
|
||
</widget>
|
||
</item>
|
||
<item>
|
||
<widget class="QGroupBox" name="grpEnableTimeout">
|
||
<property name="title">
|
||
<string>Case Valdation Limit</string>
|
||
</property>
|
||
<property name="checkable">
|
||
<bool>true</bool>
|
||
</property>
|
||
<layout class="QGridLayout" name="gridLayout_3">
|
||
<item row="0" column="0">
|
||
<widget class="QLabel" name="label_4">
|
||
<property name="text">
|
||
<string>Time Limit</string>
|
||
</property>
|
||
</widget>
|
||
</item>
|
||
<item row="0" column="1">
|
||
<widget class="QSpinBox" name="spinCaseTimeout">
|
||
<property name="specialValueText">
|
||
<string/>
|
||
</property>
|
||
<property name="suffix">
|
||
<string>ms</string>
|
||
</property>
|
||
<property name="minimum">
|
||
<number>0</number>
|
||
</property>
|
||
<property name="maximum">
|
||
<number>1000000</number>
|
||
</property>
|
||
<property name="singleStep">
|
||
<number>50</number>
|
||
</property>
|
||
</widget>
|
||
</item>
|
||
<item row="0" column="2">
|
||
<spacer name="horizontalSpacer_4">
|
||
<property name="orientation">
|
||
<enum>Qt::Horizontal</enum>
|
||
</property>
|
||
<property name="sizeHint" stdset="0">
|
||
<size>
|
||
<width>40</width>
|
||
<height>20</height>
|
||
</size>
|
||
</property>
|
||
</spacer>
|
||
</item>
|
||
<item row="1" column="0">
|
||
<widget class="QLabel" name="label_5">
|
||
<property name="text">
|
||
<string>Memory Limit</string>
|
||
</property>
|
||
</widget>
|
||
</item>
|
||
<item row="1" column="1">
|
||
<widget class="QSpinBox" name="spinMemoryLimit">
|
||
<property name="suffix">
|
||
<string>kb</string>
|
||
</property>
|
||
<property name="maximum">
|
||
<number>999999</number>
|
||
</property>
|
||
</widget>
|
||
</item>
|
||
</layout>
|
||
</widget>
|
||
</item>
|
||
<item>
|
||
<widget class="QGroupBox" name="groupBox">
|
||
<property name="title">
|
||
<string>Case Editor Font</string>
|
||
</property>
|
||
<layout class="QGridLayout" name="gridLayout_2">
|
||
<property name="leftMargin">
|
||
<number>7</number>
|
||
</property>
|
||
<property name="topMargin">
|
||
<number>7</number>
|
||
</property>
|
||
<property name="rightMargin">
|
||
<number>7</number>
|
||
</property>
|
||
<property name="bottomMargin">
|
||
<number>7</number>
|
||
</property>
|
||
<item row="3" column="0">
|
||
<widget class="QLabel" name="label_3">
|
||
<property name="text">
|
||
<string>Font Size:</string>
|
||
</property>
|
||
</widget>
|
||
</item>
|
||
<item row="3" column="1">
|
||
<widget class="QWidget" name="widget_3" native="true">
|
||
<layout class="QHBoxLayout" name="horizontalLayout_2">
|
||
<property name="leftMargin">
|
||
<number>0</number>
|
||
</property>
|
||
<property name="topMargin">
|
||
<number>0</number>
|
||
</property>
|
||
<property name="rightMargin">
|
||
<number>0</number>
|
||
</property>
|
||
<property name="bottomMargin">
|
||
<number>0</number>
|
||
</property>
|
||
<item>
|
||
<widget class="QSpinBox" name="spinFontSize"/>
|
||
</item>
|
||
<item>
|
||
<spacer name="horizontalSpacer_3">
|
||
<property name="orientation">
|
||
<enum>Qt::Horizontal</enum>
|
||
</property>
|
||
<property name="sizeHint" stdset="0">
|
||
<size>
|
||
<width>40</width>
|
||
<height>20</height>
|
||
</size>
|
||
</property>
|
||
</spacer>
|
||
</item>
|
||
</layout>
|
||
</widget>
|
||
</item>
|
||
<item row="0" column="0">
|
||
<widget class="QLabel" name="label_2">
|
||
<property name="text">
|
||
<string>Font:</string>
|
||
</property>
|
||
</widget>
|
||
</item>
|
||
<item row="0" column="1">
|
||
<widget class="QWidget" name="widget_2" native="true">
|
||
<layout class="QHBoxLayout" name="horizontalLayout">
|
||
<property name="leftMargin">
|
||
<number>0</number>
|
||
</property>
|
||
<property name="topMargin">
|
||
<number>0</number>
|
||
</property>
|
||
<property name="rightMargin">
|
||
<number>0</number>
|
||
</property>
|
||
<property name="bottomMargin">
|
||
<number>0</number>
|
||
</property>
|
||
<item>
|
||
<widget class="QFontComboBox" name="cbFont">
|
||
<property name="editable">
|
||
<bool>false</bool>
|
||
</property>
|
||
</widget>
|
||
</item>
|
||
<item>
|
||
<spacer name="horizontalSpacer_2">
|
||
<property name="orientation">
|
||
<enum>Qt::Horizontal</enum>
|
||
</property>
|
||
<property name="sizeHint" stdset="0">
|
||
<size>
|
||
<width>40</width>
|
||
<height>20</height>
|
||
</size>
|
||
</property>
|
||
</spacer>
|
||
</item>
|
||
</layout>
|
||
</widget>
|
||
</item>
|
||
<item row="4" column="0">
|
||
<widget class="QCheckBox" name="chkOnlyMonospaced">
|
||
<property name="text">
|
||
<string>Only Monospaced</string>
|
||
</property>
|
||
</widget>
|
||
</item>
|
||
</layout>
|
||
</widget>
|
||
</item>
|
||
<item>
|
||
<spacer name="verticalSpacer">
|
||
<property name="orientation">
|
||
<enum>Qt::Vertical</enum>
|
||
</property>
|
||
<property name="sizeHint" stdset="0">
|
||
<size>
|
||
<width>20</width>
|
||
<height>40</height>
|
||
</size>
|
||
</property>
|
||
</spacer>
|
||
</item>
|
||
</layout>
|
||
</widget>
|
||
</item>
|
||
</layout>
|
||
</widget>
|
||
<resources/>
|
||
<connections/>
|
||
</ui>
|