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

Wed Nov 2 15:59:47 UTC 2022

On Wed, 2 Nov 2022 15:34:24 GMT, Christian Hagedorn <chagedorn 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
>
> That's a nice small improvement, thanks for fixing that!

Thanks @chhagedorn and @TobiHartmann for the reviews!

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

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