Improve sensor terminal messages

2025-09-18 10:18:53 +01:00
parent 1564b1c721
commit 4494e47b43
9 changed files with 176 additions and 156 deletions
@@ -54,6 +54,7 @@ data TCom
 data TmWdWd
    = TmWdId
    | TmWdWdPowerDownTerminal
+    | TmWdWdLeaveTerminal
    | TmWdWdDeactivateTerminal
    | TmWdWdfromWdWd WdWd
    | TmWdWdTermSound SoundID