bricks/ev3dev/pbdevice: add delay for IR sensor
This is a very long delay, which is similar to how EV3G implements it for this sensor.
@@ -97,6 +97,8 @@ static uint32_t get_mode_switch_delay(pbio_iodev_type_id_t id, uint8_t mode) {
switch(id) {
case PBIO_IODEV_TYPE_ID_EV3_COLOR_SENSOR:
return 30;
+ case PBIO_IODEV_TYPE_ID_EV3_IR_SENSOR:
+ return 1100;
case PBIO_IODEV_TYPE_ID_NXT_LIGHT_SENSOR:
return 20;
case PBIO_IODEV_TYPE_ID_NXT_SOUND_SENSOR:
