Bug: colour mark disappears when marking other text

[Claus Pedersen]

I am marking a text using colour mark. When I search for other text, the color marking disappears. In fact, the colour mark always disappear when other text is marked, for instance for copying.

 

[Marco Kalter]

We'll check it out.