More time for double click recognition (0.33 instead of 0.25 seconds) (fixes #17)