Highlighting disappears

[Sven Brauch]

On Tuesday 29 April 2014 12:20:01 Leon Pollak wrote:
> BTW, I checked - this is NEW behavior - the previous versions kept the
> highlight forever when you removed the cursor.
At some point this was broken unintentionally through a change in kate. I 
fixed that a while later, but I'm not sure which release(s) might be affected 
by this bug. In 4.13 it works again (if not, please report).

Greetings!