Integrated: JDK-8296380: IGV: Shortcut for quick search not working

Fri Nov 4 09:36:48 UTC 2022

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

This pull request has now been integrated.

Changeset: bd729e69
Author:    Tobias Holenstein <tholenstein at openjdk.org>
URL:       https://git.openjdk.org/jdk/commit/bd729e69066b94593b7a775c0034c5e8537b73cc
Stats:     1 line in 1 file changed: 0 ins; 0 del; 1 mod

8296380: IGV: Shortcut for quick search not working

Reviewed-by: chagedorn

-------------

PR: https://git.openjdk.org/jdk/pull/10980