On Fri, 4 Nov 2022 09:22:11 GMT, Tobias Holenstein <tholenstein at openjdk.org> wrote: > The shortcut `Ctrl`-`F` for quick search was not working Looks good and trivial! ------------- Marked as reviewed by chagedorn (Reviewer). PR: https://git.openjdk.org/jdk/pull/10980