X-Git-Url: http://git.nikiroo.be/?a=blobdiff_plain;f=src%2Fjexer%2FTRadioGroup.java;fp=src%2Fjexer%2FTRadioGroup.java;h=58c65e2b11eb679a4110802cde00ea90d06e3366;hb=d8dc8aea32a07a0653933700f1abadc7776b013f;hp=7460de413b653a2d3c2898a6d8a73a8a2ad172fd;hpb=6cdd4553f20b84586df10e5f8319b6462bf3bd41;p=fanfix.git

diff --git a/src/jexer/TRadioGroup.java b/src/jexer/TRadioGroup.java
index 7460de4..58c65e2 100644
--- a/src/jexer/TRadioGroup.java
+++ b/src/jexer/TRadioGroup.java
@@ -81,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.
      */
@@ -163,9 +184,9 @@ public class TRadioGroup extends TWidget {
         int buttonX = 1;
         int buttonY = getChildren().size() + 1;
         if (StringUtils.width(label) + 4 > getWidth()) {
-            setWidth(StringUtils.width(label) + 7);
+            super.setWidth(StringUtils.width(label) + 7);
         }
-        setHeight(getChildren().size() + 3);
+        super.setHeight(getChildren().size() + 3);
         TRadioButton button = new TRadioButton(this, buttonX, buttonY, label,
             getChildren().size() + 1);