Update prefs.js

These changes add a GtkSpinButton to set the value of dead-time.