Add 'src/jexer/' from commit 'cf01c92f5809a0732409e280fb0f32f27393618d'

[fanfix.git] / src / jexer / TRadioButton.java

diff --git a/src/jexer/TRadioButton.java b/src/jexer/TRadioButton.java
index b4170ba82cbd579494e2967f0055e5ecedfe09ac..60a628845ca2c5c920863bd31be7597c95709266 100644 (file)
--- a/src/jexer/TRadioButton.java
+++ b/src/jexer/TRadioButton.java
@@ -30,12 +30,18 @@ package jexer;
 
 import jexer.bits.CellAttributes;
 import jexer.bits.GraphicsChars;
+import jexer.bits.MnemonicString;
+import jexer.bits.StringUtils;
 import jexer.event.TKeypressEvent;
 import jexer.event.TMouseEvent;
 import static jexer.TKeypress.*;
 
 /**
  * TRadioButton implements a selectable radio button.
+ *
+ * If the user clicks or presses space on this button, it is selected.
+ *
+ * If the user presses escape on this button, it is unselected.
  */
 public class TRadioButton extends TWidget {
 
@@ -49,9 +55,9 @@ public class TRadioButton extends TWidget {
     private boolean selected = false;
 
     /**
-     * Label for this radio button.
+     * The shortcut and radio button label.
      */
-    private String label;
+    private MnemonicString mnemonic;
 
     /**
      * ID for this radio button.  Buttons start counting at 1 in the
@@ -76,9 +82,9 @@ public class TRadioButton extends TWidget {
         final String label, final int id) {
 
         // Set parent and window
-        super(parent, x, y, label.length() + 4, 1);
+        super(parent, x, y, StringUtils.width(label) + 4, 1);
 
-        this.label = label;
+        mnemonic = new MnemonicString(label);
         this.id = id;
 
         setCursorVisible(true);
@@ -114,10 +120,8 @@ public class TRadioButton extends TWidget {
     public void onMouseDown(final TMouseEvent mouse) {
         if ((mouseOnRadioButton(mouse)) && (mouse.isMouse1())) {
             // Switch state
-            selected = !selected;
-            if (selected) {
-                ((TRadioGroup) getParent()).setSelected(this);
-            }
+            selected = true;
+            ((TRadioGroup) getParent()).setSelected(this);
         }
     }
 
@@ -130,9 +134,16 @@ public class TRadioButton extends TWidget {
     public void onKeypress(final TKeypressEvent keypress) {
 
         if (keypress.equals(kbSpace)) {
-            selected = !selected;
-            if (selected) {
-                ((TRadioGroup) getParent()).setSelected(this);
+            selected = true;
+            ((TRadioGroup) getParent()).setSelected(this);
+            return;
+        }
+
+        if (keypress.equals(kbEsc)) {
+            TRadioGroup parent = (TRadioGroup) getParent();
+            if (parent.requiresSelection == false) {
+                selected = false;
+                parent.setSelected(0);
             }
             return;
         }
@@ -145,17 +156,41 @@ 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.
      */
     @Override
     public void draw() {
         CellAttributes radioButtonColor;
+        CellAttributes mnemonicColor;
 
         if (isAbsoluteActive()) {
             radioButtonColor = getTheme().getColor("tradiobutton.active");
+            mnemonicColor = getTheme().getColor("tradiobutton.mnemonic.highlighted");
         } else {
             radioButtonColor = getTheme().getColor("tradiobutton.inactive");
+            mnemonicColor = getTheme().getColor("tradiobutton.mnemonic");
         }
 
         putCharXY(0, 0, '(', radioButtonColor);
@@ -165,7 +200,11 @@ public class TRadioButton extends TWidget {
             putCharXY(1, 0, ' ', radioButtonColor);
         }
         putCharXY(2, 0, ')', radioButtonColor);
-        putStringXY(4, 0, label, radioButtonColor);
+        putStringXY(4, 0, mnemonic.getRawLabel(), radioButtonColor);
+        if (mnemonic.getScreenShortcutIdx() >= 0) {
+            putCharXY(4 + mnemonic.getScreenShortcutIdx(), 0,
+                mnemonic.getShortcut(), mnemonicColor);
+        }
     }
 
     // ------------------------------------------------------------------------
@@ -203,4 +242,13 @@ public class TRadioButton extends TWidget {
         return id;
     }
 
+    /**
+     * Get the mnemonic string for this button.
+     *
+     * @return mnemonic string
+     */
+    public MnemonicString getMnemonic() {
+        return mnemonic;
+    }
+
 }