RFR: 8344204: IGV: Button to enable/disable cutting of long edges [v3]

[Tobias Holenstein]

On Fri, 15 Nov 2024 13:05:15 GMT, Roberto Castañeda Lozano <rcastanedalo at openjdk.org> wrote:

>> Tobias Holenstein has updated the pull request incrementally with one additional commit since the last revision:
>> 
>>   remove hideDuplicate.png
>
> Marked as reviewed by rcastanedalo (Reviewer).

thanks @robcasloz and @chhagedorn for the reviews!

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

PR Comment: https://git.openjdk.org/jdk/pull/22108#issuecomment-2482272083