On Fri, 4 Nov 2022 09:25:07 GMT, Christian Hagedorn <chagedorn at openjdk.org> wrote: >> The shortcut `Ctrl`-`F` for quick search was not working > > Looks good and trivial! thanks @chhagedorn ! ------------- PR: https://git.openjdk.org/jdk/pull/10980