diff options
| author | ale <ale@FreeBSD.org> | 2009-11-16 17:28:06 +0800 |
|---|---|---|
| committer | ale <ale@FreeBSD.org> | 2009-11-16 17:28:06 +0800 |
| commit | 6b95f0ff2bf0a174ddddce061449616c225672ee (patch) | |
| tree | b2b14232176fee13fd4751f2ae65e7baddebe5b9 /devel/charva | |
| parent | cb032f99e6fddd7feaafcb33cc76b35eaf6f22e8 (diff) | |
| download | freebsd-ports-gnome-6b95f0ff2bf0a174ddddce061449616c225672ee.tar.gz freebsd-ports-gnome-6b95f0ff2bf0a174ddddce061449616c225672ee.tar.zst freebsd-ports-gnome-6b95f0ff2bf0a174ddddce061449616c225672ee.zip | |
Add JRadioButton fix.
Diffstat (limited to 'devel/charva')
| -rw-r--r-- | devel/charva/Makefile | 2 | ||||
| -rw-r--r-- | devel/charva/files/patch-java_src_charvax_swing_ButtonGroup.java | 18 |
2 files changed, 16 insertions, 4 deletions
diff --git a/devel/charva/Makefile b/devel/charva/Makefile index a3c7a859e254..c6ba7d23e025 100644 --- a/devel/charva/Makefile +++ b/devel/charva/Makefile @@ -7,7 +7,7 @@ PORTNAME= charva PORTVERSION= 1.1.4 -PORTREVISION= 4 +PORTREVISION= 5 CATEGORIES= devel java MASTER_SITES= SF/${PORTNAME}/${PORTNAME}/${PORTNAME}-${PORTVERSION} DISTNAME= ${PORTNAME} diff --git a/devel/charva/files/patch-java_src_charvax_swing_ButtonGroup.java b/devel/charva/files/patch-java_src_charvax_swing_ButtonGroup.java index 051e756b2c19..a64a92dd2f20 100644 --- a/devel/charva/files/patch-java_src_charvax_swing_ButtonGroup.java +++ b/devel/charva/files/patch-java_src_charvax_swing_ButtonGroup.java @@ -1,6 +1,6 @@ ---- java/src/charvax/swing/ButtonGroup.java.orig Sat Dec 17 15:27:30 2005 -+++ java/src/charvax/swing/ButtonGroup.java Mon Jan 29 09:39:30 2007 -@@ -63,9 +63,10 @@ public class ButtonGroup
+--- java/src/charvax/swing/ButtonGroup.java.orig 2005-12-17 15:27:30.000000000 +0100 ++++ java/src/charvax/swing/ButtonGroup.java 2009-11-16 10:26:42.000000000 +0100 +@@ -63,9 +63,10 @@ * Adds the specified button to the group.
*/
public void add(AbstractButton button_) {
@@ -12,3 +12,15 @@ }
/**
+@@ -133,10 +134,9 @@ + for (Enumeration e = _buttons.elements(); e.hasMoreElements();) {
+
+ AbstractButton b = (AbstractButton) e.nextElement();
+- if (source != b || statechange != ItemEvent.SELECTED) {
++ if (source != b && statechange == ItemEvent.SELECTED) {
+ if (b.isSelected()) {
+ b._selected = false;
+- b.setEnabled(true);
+ }
+ }
+ }
|