diff options
| author | Sven Gothel <[email protected]> | 2023-12-18 09:11:44 +0100 |
|---|---|---|
| committer | Sven Gothel <[email protected]> | 2023-12-18 09:11:44 +0100 |
| commit | 47f5e083ba79ac02590a452149e31bf433109346 (patch) | |
| tree | 64bafcb31731310b79acb56416cd2f26d6a2ec75 /src/graphui/classes/com/jogamp/graph/ui/Scene.java | |
| parent | d99c2d8b28470d335ab5b30124ef8b0607b3b90f (diff) | |
Bug 805: GraphUI: Add Group.replaceShape(..) and Shape.getParent()
Group.replaceShape(..) allows replacing a shape w/o disturbing a layout, e.g. to zoom one element
by taking it out of a grid-group and placing it on-top of the Scene while using a placeholder in the grid
until returned.
Shape.getParent() - depending on use-case (w/o DAG) - allows access and control of a shape's Group.
Diffstat (limited to 'src/graphui/classes/com/jogamp/graph/ui/Scene.java')
0 files changed, 0 insertions, 0 deletions