Fix hotkeys not working the second time you use them on an option

default step lijkt me erg hoog. Vooral aangezien het toch busy waiting is, kun je zo busy waiten als je wilt. Lijkt me dat 0.01s wachten vaak genoeg zal zijn.