2017-11-29 01:11:15 +01:00
|
|
|
{
|
|
|
|
"TouchSensorEvent.Bumped|block": "bumped",
|
|
|
|
"TouchSensorEvent.Pressed|block": "pressed",
|
|
|
|
"TouchSensorEvent.Released|block": "released",
|
|
|
|
"sensors.TouchSensor.isPressed|block": "`icons.touchSensor` %sensor|is pressed",
|
|
|
|
"sensors.TouchSensor.onEvent|block": "on `icons.touchSensor` %sensor|%event",
|
2017-12-12 19:46:56 +01:00
|
|
|
"sensors.TouchSensor.pauseUntil|block": "pause until `icons.touchSensor` %sensor|%event",
|
2017-11-29 01:11:15 +01:00
|
|
|
"sensors.TouchSensor.wasPressed|block": "`icons.touchSensor` %sensor|was pressed",
|
|
|
|
"sensors.touchSensor1|block": "1",
|
|
|
|
"sensors.touchSensor2|block": "2",
|
|
|
|
"sensors.touchSensor3|block": "3",
|
|
|
|
"sensors.touchSensor4|block": "4",
|
|
|
|
"{id:category}Sensors": "Sensors",
|
|
|
|
"{id:group}Touch Sensor": "Touch Sensor"
|
|
|
|
}
|