2017-11-29 01:11:15 +01:00
|
|
|
{
|
|
|
|
"TouchSensorEvent.Bumped|block": "bumped",
|
|
|
|
"TouchSensorEvent.Pressed|block": "pressed",
|
|
|
|
"TouchSensorEvent.Released|block": "released",
|
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",
|
|
|
|
"sensors.touchSensor1|block": "touch 1",
|
|
|
|
"sensors.touchSensor2|block": "touch 2",
|
|
|
|
"sensors.touchSensor3|block": "touch 3",
|
|
|
|
"sensors.touchSensor4|block": "touch 4",
|
2017-11-29 01:11:15 +01:00
|
|
|
"{id:category}Sensors": "Sensors",
|
|
|
|
"{id:group}Touch Sensor": "Touch Sensor"
|
|
|
|
}
|