Allow terminals to block input

This commit is contained in:
2022-06-07 22:56:20 +01:00
parent e85bd36fe4
commit c31f398fab
8 changed files with 48 additions and 27 deletions
+1 -1
View File
@@ -257,7 +257,7 @@ defaultTerminal = Terminal
, _tmScrollCommands = []
, _tmWriteCommands = []
, _tmDeathEffect = const id
, _tmStatus = Disconnected
, _tmStatus = TerminalOff
, _tmCommandHistory = []
, _tmToggles = M.empty
}