Start work simplifying terminals, aim towards respawn terminals

2025-08-14 19:26:52 +01:00
parent 04c60151e1
commit 198b7acc78
6 changed files with 13 additions and 16 deletions
@@ -25,7 +25,6 @@ defaultTerminal =
        , _tmCommandHistory = []
        , _tmToggles = mempty
        , _tmPartialCommand = Nothing
-        , _tmType = DefaultTerminal
        , _tmExternalColor = dark magenta
        }