X-Git-Url: http://git.nikiroo.be/?a=blobdiff_plain;f=src%2Fjexer%2FTRadioGroup.java;h=7460de413b653a2d3c2898a6d8a73a8a2ad172fd;hb=9f613a0c54cb97e9305fd87ce8eb2f76ac82804e;hp=d57d86478a8ed502d1437bc5a74fca9125747c67;hpb=a69ed767c9c07cf35cf1c5f7821fc009cfe79cd2;p=fanfix.git

diff --git a/src/jexer/TRadioGroup.java b/src/jexer/TRadioGroup.java
index d57d864..7460de4 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;
     }
@@ -90,7 +97,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 +124,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 +162,17 @@ 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()) {
+            setWidth(StringUtils.width(label) + 7);
         }
         setHeight(getChildren().size() + 3);
-        return new TRadioButton(this, buttonX, buttonY, label,
+        TRadioButton button = new TRadioButton(this, buttonX, buttonY, label,
             getChildren().size() + 1);
+
+        // Default to the first item on the list.
+        activate(getChildren().get(0));
+
+        return button;
     }
 
 }