Refactor terminal prompt/maxlines into terminaltype

2024-11-06 11:16:35 +00:00
parent 6168bf282e
commit bfd4649e1b
7 changed files with 39 additions and 27 deletions
@@ -79,7 +79,6 @@ lineOutputTerminal tls =
    defaultTerminal
        { _tmDisplayedLines = []
        , _tmFutureLines = []
-        , _tmMaxLines = 14
        , _tmTitle = "TERMINAL"
        , _tmScrollCommands = [quitCommand]
        , _tmWriteCommands = [helpCommand, commandsCommand]