Allow for terminals to be deactivated

2025-08-19 13:58:57 +01:00
parent b8581a7862
commit 2f9cea1b69
9 changed files with 16 additions and 16 deletions
@@ -53,7 +53,7 @@ defaultButton =
        , _btEvent = ButtonPress False NoWorldEffect (dark red)
        , _btID = 0
 --        , _btState = BtOff
-        , _btTermMID = Nothing
+--        , _btTermMID = Nothing
 --        , _btName = ""
 --        , _btColor = red
        }