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

Wed Nov 2 16:04:27 UTC 2022

On Wed, 2 Nov 2022 15:29:55 GMT, Tobias Holenstein <tholenstein at openjdk.org> wrote:

> Change the current shortcut to delete a graph from `ctrl`+`delete` to `delete` only (dropping ctrl).
> 
> For keyboards without the `delete` key (like Mac) the alternative shortcut `ctrl`+`backspace` is unchanged

This pull request has now been integrated.

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

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

Reviewed-by: chagedorn, thartmann

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

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