2017-04-26 22:56:19 +00:00
|
|
|
<?xml version="1.0" encoding="UTF-8"?>
|
|
|
|
<ui version="4.0">
|
|
|
|
<class>ConsoleWidget</class>
|
2017-12-10 16:55:42 +00:00
|
|
|
<widget class="QDockWidget" name="ConsoleWidget">
|
2017-04-26 22:56:19 +00:00
|
|
|
<property name="geometry">
|
|
|
|
<rect>
|
|
|
|
<x>0</x>
|
|
|
|
<y>0</y>
|
2017-12-10 16:55:42 +00:00
|
|
|
<width>400</width>
|
|
|
|
<height>300</height>
|
2017-04-26 22:56:19 +00:00
|
|
|
</rect>
|
|
|
|
</property>
|
|
|
|
<property name="windowTitle">
|
2018-02-04 12:21:03 +00:00
|
|
|
<string notr="true">Console</string>
|
2017-04-26 22:56:19 +00:00
|
|
|
</property>
|
2017-12-10 16:55:42 +00:00
|
|
|
<widget class="QWidget" name="dockWidgetContents">
|
|
|
|
<layout class="QVBoxLayout" name="verticalLayout">
|
|
|
|
<property name="spacing">
|
|
|
|
<number>0</number>
|
|
|
|
</property>
|
|
|
|
<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="QPlainTextEdit" name="outputTextEdit">
|
|
|
|
<property name="sizePolicy">
|
|
|
|
<sizepolicy hsizetype="Expanding" vsizetype="Expanding">
|
|
|
|
<horstretch>0</horstretch>
|
|
|
|
<verstretch>0</verstretch>
|
|
|
|
</sizepolicy>
|
|
|
|
</property>
|
|
|
|
<property name="font">
|
|
|
|
<font>
|
|
|
|
<family>Monaco</family>
|
|
|
|
<pointsize>11</pointsize>
|
|
|
|
</font>
|
|
|
|
</property>
|
|
|
|
<property name="frameShape">
|
|
|
|
<enum>QFrame::NoFrame</enum>
|
|
|
|
</property>
|
|
|
|
<property name="lineWidth">
|
|
|
|
<number>0</number>
|
|
|
|
</property>
|
|
|
|
<property name="undoRedoEnabled">
|
|
|
|
<bool>false</bool>
|
|
|
|
</property>
|
|
|
|
<property name="readOnly">
|
|
|
|
<bool>true</bool>
|
|
|
|
</property>
|
|
|
|
<property name="plainText">
|
|
|
|
<string/>
|
|
|
|
</property>
|
|
|
|
</widget>
|
|
|
|
</item>
|
|
|
|
<item>
|
|
|
|
<layout class="QHBoxLayout" name="horizontalLayout">
|
|
|
|
<property name="spacing">
|
|
|
|
<number>4</number>
|
|
|
|
</property>
|
|
|
|
<property name="leftMargin">
|
|
|
|
<number>5</number>
|
|
|
|
</property>
|
|
|
|
<property name="topMargin">
|
|
|
|
<number>3</number>
|
|
|
|
</property>
|
|
|
|
<property name="rightMargin">
|
|
|
|
<number>5</number>
|
|
|
|
</property>
|
|
|
|
<property name="bottomMargin">
|
|
|
|
<number>3</number>
|
|
|
|
</property>
|
|
|
|
<item>
|
|
|
|
<widget class="QLineEdit" name="inputLineEdit">
|
|
|
|
<property name="styleSheet">
|
|
|
|
<string notr="true">border: 2px solid palette(base);</string>
|
|
|
|
</property>
|
|
|
|
<property name="frame">
|
|
|
|
<bool>false</bool>
|
|
|
|
</property>
|
|
|
|
<property name="placeholderText">
|
|
|
|
<string> Type "?" for help</string>
|
|
|
|
</property>
|
|
|
|
<property name="clearButtonEnabled">
|
|
|
|
<bool>true</bool>
|
|
|
|
</property>
|
|
|
|
</widget>
|
|
|
|
</item>
|
|
|
|
<item>
|
|
|
|
<widget class="QToolButton" name="execButton">
|
|
|
|
<property name="sizePolicy">
|
|
|
|
<sizepolicy hsizetype="Fixed" vsizetype="Preferred">
|
|
|
|
<horstretch>0</horstretch>
|
|
|
|
<verstretch>0</verstretch>
|
|
|
|
</sizepolicy>
|
|
|
|
</property>
|
|
|
|
<property name="toolTip">
|
|
|
|
<string>Execute command</string>
|
|
|
|
</property>
|
|
|
|
<property name="styleSheet">
|
|
|
|
<string notr="true">
|
2017-04-26 22:56:19 +00:00
|
|
|
QToolButton { /* all types of tool button */
|
|
|
|
margin-bottom: 1px;
|
|
|
|
margin-top: 1px;
|
2017-11-25 14:56:49 +00:00
|
|
|
padding-left: 8px;
|
|
|
|
padding-right: 5px;
|
2017-12-03 16:26:01 +00:00
|
|
|
padding-top: 1px;
|
|
|
|
padding-bottom: 1px;
|
2017-12-10 16:55:42 +00:00
|
|
|
background-color: palette(light);
|
2017-12-03 16:26:01 +00:00
|
|
|
border-radius: 6px;
|
|
|
|
border-top: 2px solid palette(light);
|
|
|
|
border-bottom: 2px solid palette(light);
|
|
|
|
border-left: 2px solid palette(light);
|
|
|
|
border-right: 2px solid palette(light);
|
|
|
|
}
|
|
|
|
|
|
|
|
QToolButton:pressed {
|
2017-12-10 16:55:42 +00:00
|
|
|
background-color: palette(dark);
|
2017-12-03 16:26:01 +00:00
|
|
|
border-top: 2px solid palette(dark);
|
|
|
|
border-bottom: 2px solid palette(dark);
|
|
|
|
border-left: 2px solid palette(dark);
|
|
|
|
border-right: 2px solid palette(dark);
|
2017-04-26 22:56:19 +00:00
|
|
|
}</string>
|
2017-12-10 16:55:42 +00:00
|
|
|
</property>
|
|
|
|
<property name="text">
|
|
|
|
<string>...</string>
|
|
|
|
</property>
|
|
|
|
<property name="icon">
|
|
|
|
<iconset resource="../resources.qrc">
|
|
|
|
<normaloff>:/img/icons/play.svg</normaloff>:/img/icons/play.svg</iconset>
|
|
|
|
</property>
|
|
|
|
</widget>
|
|
|
|
</item>
|
|
|
|
</layout>
|
|
|
|
</item>
|
|
|
|
</layout>
|
|
|
|
</widget>
|
2017-04-26 22:56:19 +00:00
|
|
|
</widget>
|
|
|
|
<resources>
|
|
|
|
<include location="../resources.qrc"/>
|
|
|
|
</resources>
|
|
|
|
<connections/>
|
|
|
|
</ui>
|