Comment 3 for bug 1174697

Ok, since this seems to explain the problem, I am going to increase this to 750 ms by default and make it a "configuration-file only" setting (i.e. not expose it in the settings dialog). I'll mark this as fixed then.