RFR: JDK-8290010: IGV: Fix UndoRedo Action [v2]

[Tobias Holenstein]

On Mon, 24 Oct 2022 13:18:37 GMT, Tobias Hartmann <thartmann at openjdk.org> wrote:

>> Tobias Holenstein has updated the pull request incrementally with one additional commit since the last revision:
>> 
>>   disable undoRedo during execution of an undo/redo
>
> Thanks, the new version works like a charm. Looks good to me.

Thanks @TobiHartmann and @robcasloz for the reviews!

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

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