micheleg/dash-to-dock — pull request #68 by threarth (2013-08-28 17:29:14+00:00)
Title: Update dockedDash.js

To wait the dead time to switch workspace I added the boolean already_switched, otherwise everytime a timeout gets added for ever.