git: openjdk/jdk: 8296235: IGV: Change shortcut to delete graph from ctrl+del to del

Wed Nov 2 16:03:28 UTC 2022

Changeset: b807470a
Author:    Tobias Holenstein <tholenstein at openjdk.org>
Date:      2022-11-02 16:00:37 +0000
URL:       https://git.openjdk.org/jdk/commit/b807470af495fcf12aca85411a890e95814584ae

8296235: IGV: Change shortcut to delete graph from ctrl+del to del

Reviewed-by: chagedorn, thartmann

! src/utils/IdealGraphVisualizer/Coordinator/src/main/resources/com/sun/hotspot/igv/coordinator/layer.xml