2012-01-07 18:36:58 +01:00
|
|
|
TerminalLabel < UILabel
|
2011-08-20 22:30:41 +02:00
|
|
|
font: terminus-14px-bold
|
|
|
|
height: 16
|
2012-03-26 20:33:00 +02:00
|
|
|
text-wrap: true
|
|
|
|
text-auto-resize: true
|
2011-08-20 22:30:41 +02:00
|
|
|
|
2012-03-26 20:33:00 +02:00
|
|
|
UIWindow
|
|
|
|
id: terminalWindow
|
2011-08-20 22:30:41 +02:00
|
|
|
background-color: #000000
|
2012-01-10 23:13:40 +01:00
|
|
|
opacity: 0.85
|
2012-03-26 20:33:00 +02:00
|
|
|
clipping: true
|
2011-08-20 22:30:41 +02:00
|
|
|
anchors.fill: parent
|
|
|
|
|
2011-11-03 21:54:53 +01:00
|
|
|
Panel
|
2012-01-07 18:36:58 +01:00
|
|
|
id: terminalBuffer
|
2012-03-26 20:33:00 +02:00
|
|
|
layout:
|
|
|
|
type: verticalBox
|
|
|
|
align-bottom: true
|
2011-10-31 07:04:08 +01:00
|
|
|
focusable: false
|
2011-08-29 01:04:36 +02:00
|
|
|
anchors.left: parent.left
|
|
|
|
anchors.right: parent.right
|
|
|
|
anchors.bottom: commandSymbolLabel.top
|
2011-11-17 22:41:02 +01:00
|
|
|
margin-left: 2
|
2011-08-29 01:04:36 +02:00
|
|
|
|
2011-08-20 22:30:41 +02:00
|
|
|
UILabel
|
2011-08-23 03:08:36 +02:00
|
|
|
id: commandSymbolLabel
|
2011-08-26 17:06:52 +02:00
|
|
|
size: 20 16
|
2011-11-17 22:41:02 +01:00
|
|
|
fixed-size: true
|
2011-08-20 22:30:41 +02:00
|
|
|
anchors.bottom: parent.bottom
|
|
|
|
anchors.left: parent.left
|
2011-11-17 22:41:02 +01:00
|
|
|
margin-left: 2
|
2011-08-20 22:30:41 +02:00
|
|
|
font: terminus-14px-bold
|
|
|
|
text: >>
|
|
|
|
|
2012-03-31 15:43:01 +02:00
|
|
|
UITextEdit
|
|
|
|
id: commandTextEdit
|
2011-08-26 17:06:52 +02:00
|
|
|
height: 16
|
2011-08-20 22:30:41 +02:00
|
|
|
anchors.bottom: parent.bottom
|
2011-08-26 17:06:52 +02:00
|
|
|
anchors.left: commandSymbolLabel.right
|
2011-08-20 22:30:41 +02:00
|
|
|
anchors.right: parent.right
|
2011-11-17 22:41:02 +01:00
|
|
|
margin-left: 5
|
2011-08-20 22:30:41 +02:00
|
|
|
font: terminus-14px-bold
|
2012-03-26 20:33:00 +02:00
|
|
|
|
2012-03-27 00:24:01 +02:00
|
|
|
ResizeBorder
|
|
|
|
id: bottomResizeBorder
|
|
|
|
anchors.bottom: parent.bottom
|
|
|
|
anchors.left: parent.left
|
|
|
|
anchors.right: parent.right
|
|
|
|
enabled: false
|
|
|
|
|
|
|
|
ResizeBorder
|
|
|
|
id: rightResizeBorder
|
|
|
|
anchors.right: parent.right
|
|
|
|
anchors.top: parent.top
|
|
|
|
anchors.bottom: parent.bottom
|
|
|
|
enabled: false
|