Box highlighting: Increase the time interval between refresh. Otherwise, Atom processors are not fast enough to follow the mouse

Signed-off-by: Jerome Flesch <jflesch@gmail.com>