[PB6.03beta9] Issue with highlighted keywords

[marcoagpinto]

Heya,

Can someone reproduce this?

https://justpaste.it/a9kjh

Every time I click on a keyword/command, it highlights all the occurrences, but it doesn't forget the previous highlight.

Thanks!

[Fred]

I just tried and it seems OK, you just double click on an item and do the same on another ?

[marcoagpinto]

I just tried and it seems OK, you just double click on an item and do the same on another ?

Yes, that is exactly what I did, dear Fred!

[marcoagpinto]

@Fred

It seems like a random bug, I haven't been able to reproduce it in the other tabs.