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/layout | |
| 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/layout')
| -rw-r--r-- | src/graphui/classes/com/jogamp/graph/ui/layout/Margin.java | 2 | ||||
| -rw-r--r-- | src/graphui/classes/com/jogamp/graph/ui/layout/Padding.java | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/src/graphui/classes/com/jogamp/graph/ui/layout/Margin.java b/src/graphui/classes/com/jogamp/graph/ui/layout/Margin.java index f78c9dea9..fde7217b6 100644 --- a/src/graphui/classes/com/jogamp/graph/ui/layout/Margin.java +++ b/src/graphui/classes/com/jogamp/graph/ui/layout/Margin.java @@ -30,7 +30,7 @@ package com.jogamp.graph.ui.layout; import com.jogamp.opengl.math.FloatUtil; /** - * GraphUI CSS property Margin, space between or around elements. + * GraphUI CSS property Margin, space between or around elements and not included in the element's size. * * The CSS margin properties are used to create space around elements, outside of any defined borders. * diff --git a/src/graphui/classes/com/jogamp/graph/ui/layout/Padding.java b/src/graphui/classes/com/jogamp/graph/ui/layout/Padding.java index 52c46bc3a..1d5eca002 100644 --- a/src/graphui/classes/com/jogamp/graph/ui/layout/Padding.java +++ b/src/graphui/classes/com/jogamp/graph/ui/layout/Padding.java @@ -30,7 +30,7 @@ package com.jogamp.graph.ui.layout; import com.jogamp.opengl.math.FloatUtil; /** - * GraphUI CSS property Padding, space belonging to the element. + * GraphUI CSS property Padding, space belonging to the element and included in the element's size. * * The CSS padding properties are used to generate space around an element's content, inside of any defined borders. */ |