[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