micheleg/dash-to-dock — pull request #69 by threarth (2013-08-28 17:35:01+00:00)
Title: Update prefs.js

These changes add a GtkSpinButton to set the value of dead-time (which is a double, and need a change also in the schema).