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

Wed Nov 2 15:59:46 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

Looks good and trivial.

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

Marked as reviewed by thartmann (Reviewer).

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