2017-11-29 01:11:15 +01:00
|
|
|
{
|
2017-12-19 20:37:33 +01:00
|
|
|
"sensors.TouchSensor.isPressed|block": "%sensor|is pressed",
|
|
|
|
"sensors.TouchSensor.onEvent|block": "on %sensor|%event",
|
|
|
|
"sensors.TouchSensor.pauseUntil|block": "pause until %sensor|%event",
|
|
|
|
"sensors.TouchSensor.wasPressed|block": "%sensor|was pressed",
|
2018-01-06 04:14:55 +01:00
|
|
|
"sensors.touch1|block": "touch 1",
|
|
|
|
"sensors.touch2|block": "touch 2",
|
|
|
|
"sensors.touch3|block": "touch 3",
|
|
|
|
"sensors.touch4|block": "touch 4",
|
2017-11-29 01:11:15 +01:00
|
|
|
"{id:category}Sensors": "Sensors",
|
|
|
|
"{id:group}Touch Sensor": "Touch Sensor"
|
|
|
|
}
|