mirror of
https://github.com/rizinorg/cutter.git
synced 2024-12-25 06:15:26 +00:00
6731032495
Moved the existing console functionality to a separate widget for easier extension
195 lines
5.1 KiB
XML
195 lines
5.1 KiB
XML
<?xml version="1.0" encoding="UTF-8"?>
|
|
<ui version="4.0">
|
|
<class>ConsoleWidget</class>
|
|
<widget class="QWidget" name="ConsoleWidget">
|
|
<property name="geometry">
|
|
<rect>
|
|
<x>0</x>
|
|
<y>0</y>
|
|
<width>583</width>
|
|
<height>534</height>
|
|
</rect>
|
|
</property>
|
|
<property name="windowTitle">
|
|
<string>Form</string>
|
|
</property>
|
|
<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="consoleOutputTextEdit">
|
|
<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="styleSheet">
|
|
<string notr="true">/*QPlainTextEdit { background: rgb(226, 230, 235) }*/</string>
|
|
</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>0</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="consoleInputLineEdit">
|
|
<property name="font">
|
|
<font>
|
|
<pointsize>12</pointsize>
|
|
</font>
|
|
</property>
|
|
<property name="styleSheet">
|
|
<string notr="true">border-top: 1px solid rgb(255, 255, 255);</string>
|
|
</property>
|
|
<property name="text">
|
|
<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="showHistoToolButton">
|
|
<property name="enabled">
|
|
<bool>false</bool>
|
|
</property>
|
|
<property name="maximumSize">
|
|
<size>
|
|
<width>16777215</width>
|
|
<height>18</height>
|
|
</size>
|
|
</property>
|
|
<property name="toolTip">
|
|
<string>Show commands history</string>
|
|
</property>
|
|
<property name="styleSheet">
|
|
<string notr="true">background-color: white;</string>
|
|
</property>
|
|
<property name="text">
|
|
<string>...</string>
|
|
</property>
|
|
<property name="checkable">
|
|
<bool>true</bool>
|
|
</property>
|
|
<property name="autoRaise">
|
|
<bool>true</bool>
|
|
</property>
|
|
<property name="arrowType">
|
|
<enum>Qt::DownArrow</enum>
|
|
</property>
|
|
</widget>
|
|
</item>
|
|
<item>
|
|
<spacer name="horizontalSpacer">
|
|
<property name="orientation">
|
|
<enum>Qt::Horizontal</enum>
|
|
</property>
|
|
<property name="sizeType">
|
|
<enum>QSizePolicy::Fixed</enum>
|
|
</property>
|
|
<property name="sizeHint" stdset="0">
|
|
<size>
|
|
<width>10</width>
|
|
<height>20</height>
|
|
</size>
|
|
</property>
|
|
</spacer>
|
|
</item>
|
|
<item>
|
|
<widget class="QToolButton" name="consoleExecButton">
|
|
<property name="toolTip">
|
|
<string>Execute command</string>
|
|
</property>
|
|
<property name="styleSheet">
|
|
<string notr="true">/*
|
|
border: none;
|
|
padding: 2px;
|
|
*/
|
|
|
|
QToolButton { /* all types of tool button */
|
|
border: 0px solid rgb(255, 255, 255);
|
|
border-radius: 6px;
|
|
border-top: 2px solid rgb(255, 255, 255);
|
|
border-bottom: 2px solid rgb(255, 255, 255);
|
|
border-left: 8px solid rgb(255, 255, 255);
|
|
border-right: 5px solid rgb(255, 255, 255);
|
|
margin-bottom: 1px;
|
|
margin-top: 1px;
|
|
background-color: rgb(255, 255, 255);
|
|
}</string>
|
|
</property>
|
|
<property name="text">
|
|
<string>...</string>
|
|
</property>
|
|
<property name="icon">
|
|
<iconset resource="../resources.qrc">
|
|
<normaloff>:/new/prefix1/img/icons/play.png</normaloff>:/new/prefix1/img/icons/play.png</iconset>
|
|
</property>
|
|
</widget>
|
|
</item>
|
|
</layout>
|
|
</item>
|
|
</layout>
|
|
</widget>
|
|
<resources>
|
|
<include location="../resources.qrc"/>
|
|
</resources>
|
|
<connections/>
|
|
</ui>
|