Increase double click time to 400ms (bug #10562).

Gtk's default is somewhat fast for most people, 400ms is a
default used by most other desktops.