Successfully push proximity sensor parameters into data

This commit is contained in:
2022-06-07 10:34:59 +01:00
parent 14acd2ee6a
commit 5117fb2a1a
5 changed files with 42 additions and 39 deletions
+1 -1
View File
@@ -337,6 +337,6 @@ defaultProximitySensor :: Sensor
defaultProximitySensor = ProximitySensor
{ _proxStatus = NotClose
, _proxDist = 40
, _proxRequirement = HasBottom
, _proxRequirement = RequireImpossible
, _sensToggle = False
}