X-Git-Url: http://git.nikiroo.be/?a=blobdiff_plain;f=src%2Fjexer%2FTRadioButton.java;h=60a628845ca2c5c920863bd31be7597c95709266;hb=12b90437b5f22c2ae6e9b9b14c3b62b60f6143e5;hp=2d602fa3abc1218b8612061c97743176b12ef0c6;hpb=9f613a0c54cb97e9305fd87ce8eb2f76ac82804e;p=fanfix.git

diff --git a/src/jexer/TRadioButton.java b/src/jexer/TRadioButton.java
index 2d602fa..60a6288 100644
--- a/src/jexer/TRadioButton.java
+++ b/src/jexer/TRadioButton.java
@@ -156,6 +156,27 @@ public class TRadioButton 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.
      */