Hugo,

this sounds exactly like the bug report I sent to [email protected] on january 25th. It never happened before Beta9a, but by now (still in 9a), I also had the same problem within the playlist menu, but this actually isn't a big deal in there.

Felix