Integrated: JDK-8297031: IGV: Copy extracted nodes and layout for cloned graph

[Tobias Holenstein]

On Mon, 13 Feb 2023 14:15:21 GMT, Tobias Holenstein <tholenstein at openjdk.org> wrote:

> previously in IGV the user could open a graph in a new tab by right clicking on a graph -> "open clone". Unfortunately, this did not open a "real" clone if the graph was already opened in another tab: Neither the extracted nodes nor the chosen layout (sea, block, cfg) were applied to the new tab.
> 
> # Solution
> 1. "open clone" was renamed to "Open in new tab"
> <img width="1246" alt="new_tab" src="https://user-images.githubusercontent.com/71546117/218485025-dd6c3ca1-59a0-43b2-ace0-f2f054f68a6c.png">
> 
> 
> 2. The user can right click a Tab -> "Clone" . This opens a proper clone with the same extracted nodes and the chosen layout
> <img width="1036" alt="clone" src="https://user-images.githubusercontent.com/71546117/218485079-c92ab3e0-1daa-49a9-bc08-beeac82a69ba.png">

This pull request has now been integrated.

Changeset: e045af4c
Author:    Tobias Holenstein <tholenstein at openjdk.org>
URL:       https://git.openjdk.org/jdk/commit/e045af4c921b1465931154ede899235ddc580108
Stats:     357 lines in 13 files changed: 177 ins; 150 del; 30 mod

8297031: IGV: Copy extracted nodes and layout for cloned graph

Reviewed-by: rcastanedalo, thartmann

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

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