Re: r11042: Huge spacing of hotlist

[Paul Sprangers]

> I've just downloaded r11042, and was surprised to see that the hotlist
> has a huge spacing between entries.

Same here, as well as a new blue background. Nothing wrong with the latter,
of course.

Paul Sprangers