Search in your app is not updating on repeated search

What I’m trying to do: switching back and forth between “Find in your app” and code

What I’ve tried and what’s not working:

  • search something with control-shift-f
  • click on the code and change the word searched and found to something else.
  • go back with control-shift-f

Problems:

  • The original stuff found is displayed again. The changed section, should not be shown anymore, but still is there.
  • Updating the find is cumbersome; a mere return doesn’t help. You actually have to type a printable character to get the search to update. Like backspace and then the last character again.