Persistent search highlighting
If you Ctrl+F, enter a token and press up/down, a nice red background is shown.
Would be good if the red background remains when focusing back the text editor. It would be very easy to get rid of it by Ctrl+F
-> Backspace
(clearing the search box) OR Ctrl+F
-> ESC
.
Currently it's possible to press Ctrl+G to go to the next occurrence, but it's not highlighted and takes time to search where it actually is on the screen. It would be easier in this case if the highlighting remains.