Implement "tab" button in terminal

2025-08-17 00:12:05 +01:00
parent 76b6cda19b
commit 24027367dc
7 changed files with 43 additions and 29 deletions
@@ -92,7 +92,7 @@ data TmWdWd
    | TmWdWdDoDeathTriggers
    | TmTmClearDisplayedLines
    | TmTmSetStatus TerminalStatus
-    | TmDisplayCommands
+--    | TmDisplayCommands

 makeLenses ''Terminal
 makeLenses ''TerminalLine
@@ -12,7 +12,6 @@ data TerminalStatus
    | TerminalBusy
    | TerminalTextInput {_tiText :: String}
    | TerminalPressTo {_tptString :: String}
-    --    | TerminalArgumentInput TerminalCommand
    deriving (Eq)

 makeLenses ''TerminalStatus