Add external Trie library before using Tries for terminal commands

2025-08-16 01:58:21 +01:00
parent 73cdf42e4a
commit f7759b1f31
9 changed files with 15 additions and 12 deletions
@@ -17,7 +17,7 @@ defaultTerminal =
        , _tmDisplayedLines = []
        , _tmFutureLines = []
 --        , _tmInput = defaultTerminalInput
-        , _tmScrollCommands = []
+        , _tmCommands = []
 --        , _tmWriteCommands = []
        , _tmDeathEffect = TmWdId
        , _tmStatus = TerminalOff