terminal tweaks

2025-10-15 12:04:55 +02:00 · 2012-05-11 06:13:44 -03:00
parent f9bae92bff
commit e1fad92110
2 changed files with 4 additions and 5 deletions
--- a/modules/client_terminal/terminal.otui
+++ b/modules/client_terminal/terminal.otui
@@ -1,6 +1,5 @@
 TerminalLabel < UILabel
  font: terminus-14px-bold
-  height: 16
  text-wrap: true
  text-auto-resize: true

@@ -24,13 +23,13 @@ UIWindow

  UILabel
    id: commandSymbolLabel
-    size: 20 16
+    size: 12 16
    fixed-size: true
    anchors.bottom: parent.bottom
    anchors.left: parent.left
    margin-left: 2
    font: terminus-14px-bold
-    text: >>
+    text: >

  UITextEdit
    id: commandTextEdit