This is the mail archive of the
java-patches@gcc.gnu.org
mailing list for the Java project.
[gui] [PATCH] Fix setFont in GtkContainerPeer
- From: David Jee <djee at redhat dot com>
- To: java-patches at gcc dot gnu dot org
- Date: 04 Mar 2004 16:31:49 -0500
- Subject: [gui] [PATCH] Fix setFont in GtkContainerPeer
- Organization:
Hi,
I committed the following small patch to the java-gui-branch. It fixes
a small bug in GtkContainerPeer.setFont().
-David Jee
2004-03-04 David Jee <djee@redhat.com>
* gnu/java/awt/peer/gtk/GtkContainerPeer.java
(setFont): Check if child peers are null.
Index: gnu/java/awt/peer/gtk/GtkContainerPeer.java
===================================================================
RCS file: /cvs/gcc/gcc/libjava/gnu/java/awt/peer/gtk/GtkContainerPeer.java,v
retrieving revision 1.8.2.1
diff -u -r1.8.2.1 GtkContainerPeer.java
--- gnu/java/awt/peer/gtk/GtkContainerPeer.java 27 Feb 2004 19:43:40 -0000 1.8.2.1
+++ gnu/java/awt/peer/gtk/GtkContainerPeer.java 4 Mar 2004 20:16:46 -0000
@@ -100,7 +100,7 @@
for (int i = 0; i < components.length; i++)
{
GtkComponentPeer peer = (GtkComponentPeer) components[i].getPeer();
- if (! peer.awtComponent.isFontSet())
+ if (peer != null && ! peer.awtComponent.isFontSet())
peer.setFont(f);
}
}