FIXED: 13.0 Beta 1 - highlight bug

[vha]

- Have following text

Code: Select all

aa bb

- Cursor just before 'aa'
- Hit CTRL-F, ENTER

--> aa is highlighted in dark blue, but the next 2 chars are also highlighted (in lightblue)

vha

[Rickard Johansson]

Fixed. Thank you!