[gui][PATCH] post KEY_TYPED events

Thomas Fitzsimmons fitzsim@redhat.com
Mon May 17 21:52:00 GMT 2004


Hi,

This patch adds support for posting KEY_TYPED events from
GtkComponentPeer.

I committed this on java-gui-branch.

Tom

2004-05-17  Thomas Fitzsimmons  <fitzsim@redhat.com>

	* gnu/java/awt/peer/gtk/GtkComponentPeer.java (postKeyEvent):
	Post KEY_TYPED events.
	* jni/gtk-peer/gnu_java_awt_peer_gtk_GtkEvents.c
	(generates_key_typed_event): Remove function.

-------------- next part --------------
A non-text attachment was scrubbed...
Name: post-key-typed-events.patch
Type: text/x-patch
Size: 2964 bytes
Desc: not available
URL: <http://gcc.gnu.org/pipermail/java-patches/attachments/20040517/21b2ed78/attachment.bin>


More information about the Java-patches mailing list