Cleanup

2023-05-01 22:35:33 +01:00
parent 7b8b8750a9
commit 61f88aeb4a
9 changed files with 120 additions and 121 deletions
@@ -8,3 +8,4 @@ doTmTm tmtm = case tmtm of
    TmTmClearDisplayedLines -> tmDisplayedLines .~ []
    TmTmSetStatus s -> tmStatus .~ s
    TmId -> id
+    TmTmSetPartialCommand ms -> tmPartialCommand .~ ms