Update dockedDash.js

To wait the dead time to switch workspace I added the boolean already_switched; otherwise everytime a scroll event occurs, another timeout is added and the switch cannot occur.