terminal.otui

main 117 lines · 2.5 KB Raw
Alex Alex Commit Client Upload Part 2 19/10/2026 00:06
1TerminalLabel < UILabel
2 font: terminus-10px
3 text-wrap: true
4 text-auto-resize: true
5 phantom: true
6
7TerminalSelectText < UITextEdit
8 font: terminus-10px
9 text-wrap: true
10 text-align: bottomLeft
11 editable: false
12 change-cursor-image: false
13 cursor-visible: false
14 selection-color: black
15 selection-background-color: white
16 color: alpha
17 focusable: false
18 auto-scroll: false
19
20UIWindow
21 id: terminalWindow
22 background-color: #000000
23 opacity: 0.85
24 clipping: true
25 anchors.fill: parent
26 border: 0 white
27 $on:
28 border: 1 black
29
30 Label
31 id: titleBar
32 !text: tr('Terminal')
33 border: 1 black
34 color: white
35 anchors.top: parent.top
36 anchors.left: parent.left
37 anchors.right: parent.right
38 background-color: #ffffff11
39 text-align: left
40 text-offset: 4 0
41 height: 18
42 visible: false
43
44 ScrollablePanel
45 id: terminalBuffer
46 focusable: false
47 anchors.left: parent.left
48 anchors.right: terminalScroll.left
49 anchors.top: terminalScroll.top
50 anchors.bottom: commandTextEdit.top
51 layout:
52 type: verticalBox
53 align-bottom: true
54 vertical-scrollbar: terminalScroll
55 inverted-scroll: true
56 margin-left: 2
57
58 TerminalSelectText
59 id: terminalSelectText
60 anchors.fill: terminalBuffer
61 focusable: false
62
63 VerticalScrollBar
64 id: terminalScroll
65 anchors.top: parent.top
66 anchors.bottom: parent.bottom
67 anchors.right: parent.right
68 step: 48
69 pixels-scroll: true
70
71 UILabel
72 id: commandSymbolLabel
73 size: 12 12
74 fixed-size: true
75 anchors.bottom: parent.bottom
76 anchors.left: parent.left
77 margin-left: 2
78 font: terminus-10px
79 text: >
80
81 UITextEdit
82 id: commandTextEdit
83 background: #aaaaaa11
84 border-color: #aaaaaa88
85 &baseHeight: 12
86 anchors.bottom: parent.bottom
87 anchors.left: commandSymbolLabel.right
88 anchors.right: terminalScroll.left
89 margin-left: 1
90 padding-left: 2
91 font: terminus-10px
92 selection-color: black
93 selection-background-color: white
94 border-width-left: 0
95 border-width-top: 0
96 multiline: false
97 text-auto-submit: true
98
99 $on:
100 border-width-left: 1
101 border-width-top: 1
102 multiline: true
103
104 ResizeBorder
105 id: bottomResizeBorder
106 anchors.bottom: parent.bottom
107 anchors.left: parent.left
108 anchors.right: parent.right
109 enabled: false
110
111 ResizeBorder
112 id: rightResizeBorder
113 anchors.right: parent.right
114 anchors.top: parent.top
115 anchors.bottom: parent.bottom
116 enabled: false
117
Top