micheleg/dash-to-dock — pull request #70 by threarth (2013-08-28 17:39:34+00:00)
Title: Update org.gnome.shell.extensions.dash-to-dock.gschema.xml

'scroll-switch-workspace-dead-time' is a double, and is stored value is divided by 1000.