1 person found this helpful
I reproduced this, but would probably not have noticed it if you hadn't mentioned it, so I'm not sure if it is a bug or feature :-) F3 starts working again if you click inside the editor windows first, so no big deal for me. I also discovered that arrow up and down while cursor is still in the search field works as Shift-F3 and F3, so searching is even easier that way.
correct, it is working if you click anywhere in worksheet but it is a big deal for me I almost never use mouse while coding so I want to solve everything with my keyboard. I didn't notice that arrow keys are working but F3 is a global shortcut for "search next" I believe and a big habit for me I will open an SR for this.