Search highlight has bug in version 0.12.2

[nuintun]

See screenshot:

Highlight can't be updated after keypress!

[joallard]

Known bug, fix committed in master #1099 , will be fix released in 0.12.3