David Zeuthen wrote: > I agree with David Woodhouse - the current behavior is highly annoying. > Please fix it. Thanks. It's been fixed two days ago, as indicated in <055.2f75eab7f2a8bd20f936887017712222 at laptop.org>. -- Ivan Krstić <krstic at solarsail.hcs.harvard.edu> | GPG: 0x147C722D