diff options
author | Sven Gothel <[email protected]> | 2023-09-04 05:39:05 +0200 |
---|---|---|
committer | Sven Gothel <[email protected]> | 2023-09-04 06:28:26 +0200 |
commit | 4ca9efd6759856f46eb0cedde28998bc2b68d2cb (patch) | |
tree | e3793bf608e2f71a1e1a76604f105e4e924f168e /src/graphui/classes/com/jogamp/graph/ui/shapes/Button.java | |
parent | c3bb3fb871a92a71e7a6b05897a3dd9b62842fc5 (diff) |
GraphUI: Button/Label: Complete String -> CharSequence type change for text, rename Button set{Label->Text}(..), adjust demo/text code
Diffstat (limited to 'src/graphui/classes/com/jogamp/graph/ui/shapes/Button.java')
-rw-r--r-- | src/graphui/classes/com/jogamp/graph/ui/shapes/Button.java | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/graphui/classes/com/jogamp/graph/ui/shapes/Button.java b/src/graphui/classes/com/jogamp/graph/ui/shapes/Button.java index 72589937d..474cc0a6a 100644 --- a/src/graphui/classes/com/jogamp/graph/ui/shapes/Button.java +++ b/src/graphui/classes/com/jogamp/graph/ui/shapes/Button.java @@ -327,14 +327,14 @@ public class Button extends BaseButton { } return this; } - public final Button setLabel(final String labelText) { + public final Button setText(final CharSequence labelText) { if( !label.getText().equals(labelText) ) { label.setText(labelText); markShapeDirty(); } return this; } - public final Button setLabel(final Font labelFont, final String labelText) { + public final Button setText(final Font labelFont, final CharSequence labelText) { if( !label.getText().equals(labelText) || !label.getFont().equals(labelFont) ) { label.setFont(labelFont); label.setText(labelText); |