diff options
| author | Sven Gothel <[email protected]> | 2023-04-28 12:40:23 +0200 |
|---|---|---|
| committer | Sven Gothel <[email protected]> | 2023-04-28 12:40:23 +0200 |
| commit | 87814f1c86b132a16ddf6822d05b83c3ed091fe2 (patch) | |
| tree | 885134dd7398a748a0837b536a26771c933dafd2 /src/graphui/classes/com/jogamp/graph/ui/shapes/ImageButton.java | |
| parent | bd10664189e944699492008776819a28a2d95ecf (diff) | |
GraphUI Revise Padding and Border: Padding + Border belong to Shape's bounds. Account for both (seperately) and add border rendering to Group as well.
Diffstat (limited to 'src/graphui/classes/com/jogamp/graph/ui/shapes/ImageButton.java')
0 files changed, 0 insertions, 0 deletions