Comment by mcrae

It works this way often in (north-east) Asia. Double-tap a selected floor and it unselects. Brilliant.