diff options
| author | Alex Dupre <ale@FreeBSD.org> | 2009-11-16 09:28:06 +0000 |
|---|---|---|
| committer | Alex Dupre <ale@FreeBSD.org> | 2009-11-16 09:28:06 +0000 |
| commit | ab3b3a4c2c4d9db0b8ffb48e8a01b155ec6039bd (patch) | |
| tree | 51d4eff612663ada48c1d7b3f7bb4dc64e6647ae /devel/charva | |
| parent | 877130c1aa7c0ab2b865e805e209810864f43f9a (diff) | |
| download | ports-ab3b3a4c2c4d9db0b8ffb48e8a01b155ec6039bd.tar.gz ports-ab3b3a4c2c4d9db0b8ffb48e8a01b155ec6039bd.zip | |
Notes
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);
+ }
+ }
+ }
|