This is the mail archive of the
java-patches@gcc.gnu.org
mailing list for the Java project.
[gui][PATCH] fix graphics clips
- From: Kim Ho <kho at redhat dot com>
- To: java-patches <java-patches at gcc dot gnu dot org>
- Date: 10 Mar 2004 09:01:26 -0500
- Subject: [gui][PATCH] fix graphics clips
- Organization:
Hi,
Forgot a piece of the last patch. The paint event doesn't set the clip
anymore.
Cheers,
Kim
2004-03-10 Kim Ho <kho@redhat.com>
* gnu/java/awt/peer/gtk/GtkComponentPeer.java:
(handleEvent): Don't set the clip for the
Graphics object.
Index: gnu/java/awt/peer/gtk/GtkComponentPeer.java
===================================================================
RCS file: /cvs/gcc/gcc/libjava/gnu/java/awt/peer/gtk/GtkComponentPeer.java,v
retrieving revision 1.16.2.1
diff -u -r1.16.2.1 GtkComponentPeer.java
--- gnu/java/awt/peer/gtk/GtkComponentPeer.java 27 Feb 2004 19:43:40 -0000 1.16.2.1
+++ gnu/java/awt/peer/gtk/GtkComponentPeer.java 10 Mar 2004 14:00:39 -0000
@@ -235,8 +235,8 @@
// Some peers like GtkFileDialogPeer are repainted by Gtk itself
if (g == null)
break;
-
- g.setClip (((PaintEvent)event).getUpdateRect());
+ // FIXME: Find the proper clip.
+ //g.setClip (((PaintEvent)event).getUpdateRect());
if (id == PaintEvent.PAINT)
awtComponent.paint (g);