>
> Staszek, add an entry to CHANGES as well?

In fact, this issue was fixed in 3.1.0 and it's already mentioned in changes
under that release. I think the issue remained open because of the
developing discussion in it, but reading these again, I think we can keep
highlighting-clustering the way it is, it's simple and it works. I'll
resolve the issue in a sec and change the fix for to reflect that.

S.

Reply via email to