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).