X-Git-Url: http://git.nikiroo.be/?a=blobdiff_plain;f=src%2Fjexer%2FTRadioGroup.java;h=a82b074f8ce9a1c4fe6de462433b8d4124507b91;hb=12b90437b5f22c2ae6e9b9b14c3b62b60f6143e5;hp=d57d86478a8ed502d1437bc5a74fca9125747c67;hpb=a69ed767c9c07cf35cf1c5f7821fc009cfe79cd2;p=nikiroo-utils.git diff --git a/src/jexer/TRadioGroup.java b/src/jexer/TRadioGroup.java index d57d864..a82b074 100644 --- a/src/jexer/TRadioGroup.java +++ b/src/jexer/TRadioGroup.java @@ -29,6 +29,7 @@ package jexer; import jexer.bits.CellAttributes; +import jexer.bits.StringUtils; /** * TRadioGroup is a collection of TRadioButtons with a box and label. @@ -49,6 +50,12 @@ public class TRadioGroup extends TWidget { */ private TRadioButton selectedButton = null; + /** + * If true, one of the children MUST be selected. Note package private + * access. + */ + boolean requiresSelection = true; + // ------------------------------------------------------------------------ // Constructors ----------------------------------------------------------- // ------------------------------------------------------------------------ @@ -65,7 +72,7 @@ public class TRadioGroup extends TWidget { final String label) { // Set parent and window - super(parent, x, y, label.length() + 4, 2); + super(parent, x, y, StringUtils.width(label) + 4, 2); this.label = label; } @@ -74,6 +81,27 @@ public class TRadioGroup extends TWidget { // TWidget ---------------------------------------------------------------- // ------------------------------------------------------------------------ + /** + * Override TWidget's width: we can only set width at construction time. + * + * @param width new widget width (ignored) + */ + @Override + public void setWidth(final int width) { + // Do nothing + } + + /** + * Override TWidget's height: we can only set height at construction + * time. + * + * @param height new widget height (ignored) + */ + @Override + public void setHeight(final int height) { + // Do nothing + } + /** * Draw a radio button with label. */ @@ -90,7 +118,7 @@ public class TRadioGroup extends TWidget { drawBox(0, 0, getWidth(), getHeight(), radioGroupColor, radioGroupColor, 3, false); - hLineXY(1, 0, label.length() + 2, ' ', radioGroupColor); + hLineXY(1, 0, StringUtils.width(label) + 2, ' ', radioGroupColor); putStringXY(2, 0, label, radioGroupColor); } @@ -117,12 +145,35 @@ public class TRadioGroup extends TWidget { */ void setSelected(final TRadioButton button) { assert (button.isSelected()); - if (selectedButton != null) { + if ((selectedButton != null) && (selectedButton != button)) { selectedButton.setSelected(false); } selectedButton = button; } + /** + * Set the new selected radio button. 1-based. + * + * @param id ID of the selected button, or 0 to unselect + */ + public void setSelected(final int id) { + if ((id < 0) || (id > getChildren().size())) { + return; + } + + if (id == 0) { + for (TWidget widget: getChildren()) { + ((TRadioButton) widget).setSelected(false); + } + selectedButton = null; + return; + } + assert ((id > 0) && (id <= getChildren().size())); + TRadioButton button = (TRadioButton) (getChildren().get(id - 1)); + button.setSelected(true); + selectedButton = button; + } + /** * Convenience function to add a radio button to this group. * @@ -132,12 +183,21 @@ public class TRadioGroup extends TWidget { public TRadioButton addRadioButton(final String label) { int buttonX = 1; int buttonY = getChildren().size() + 1; - if (label.length() + 4 > getWidth()) { - setWidth(label.length() + 7); + if (StringUtils.width(label) + 4 > getWidth()) { + super.setWidth(StringUtils.width(label) + 7); } - setHeight(getChildren().size() + 3); - return new TRadioButton(this, buttonX, buttonY, label, + super.setHeight(getChildren().size() + 3); + TRadioButton button = new TRadioButton(this, buttonX, buttonY, label, getChildren().size() + 1); + + if (getParent().getLayoutManager() != null) { + getParent().getLayoutManager().resetSize(this); + } + + // Default to the first item on the list. + activate(getChildren().get(0)); + + return button; } }