diff options
| author | Mark Wielaard <mark@klomp.org> | 2006-03-18 20:14:54 +0000 |
|---|---|---|
| committer | Mark Wielaard <mark@klomp.org> | 2006-03-18 20:14:54 +0000 |
| commit | 42398a2cb14fa41fe355dd877168cf4cf161148a (patch) | |
| tree | d7cb72d7116405fdfe5ddd893adc83b71822ff9e /gnu/java/awt/peer/gtk/GtkComponentPeer.java | |
| parent | 72d3b4000c6328573a18cb14c13b11989c94e3ed (diff) | |
| download | classpath-42398a2cb14fa41fe355dd877168cf4cf161148a.tar.gz | |
* java/awt/Component.java (eventTypeEnabled): Handle
MouseEvent.MOUSE_WHEEL.
* gnu/java/awt/peer/gtk/GtkComponentPeer.java (postMouseWheelEvent):
New callback method.
* native/jni/gtk-peer/gnu_java_awt_peer_gtk_GtkComponentPeer.c
(AWT_MOUSE_WHEEL): New constant.
(AWT_WHEEL_UNIT_SCROLL): Likewise.
(postMouseWheelEventID): New static variable.
(cp_gtk_component_init_jni): Record postMouseWheelEventID.
(cp_gtk_component_connect_mouse_signals): Connect scroll-event.
(button_number): Renamed to ...
(button_number_direction): variable to hold button number or scroll
direction.
(component_button_press_cb): Use button_number_direction.
(component_scroll_cb): New static callback function.
Diffstat (limited to 'gnu/java/awt/peer/gtk/GtkComponentPeer.java')
| -rw-r--r-- | gnu/java/awt/peer/gtk/GtkComponentPeer.java | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/gnu/java/awt/peer/gtk/GtkComponentPeer.java b/gnu/java/awt/peer/gtk/GtkComponentPeer.java index e71162e67..ed0380172 100644 --- a/gnu/java/awt/peer/gtk/GtkComponentPeer.java +++ b/gnu/java/awt/peer/gtk/GtkComponentPeer.java @@ -63,6 +63,7 @@ import java.awt.event.FocusEvent; import java.awt.event.ItemEvent; import java.awt.event.KeyEvent; import java.awt.event.MouseEvent; +import java.awt.event.MouseWheelEvent; import java.awt.event.PaintEvent; import java.awt.event.TextEvent; import java.awt.image.BufferedImage; @@ -573,6 +574,19 @@ public class GtkComponentPeer extends GtkGenericPeer clickCount, popupTrigger)); } + /** + * Callback for component_scroll_cb. + */ + protected void postMouseWheelEvent(int id, long when, int mods, + int x, int y, int clickCount, + boolean popupTrigger, + int type, int amount, int rotation) + { + q().postEvent(new MouseWheelEvent(awtComponent, id, when, mods, + x, y, clickCount, popupTrigger, + type, amount, rotation)); + } + protected void postExposeEvent (int x, int y, int width, int height) { q().postEvent (new PaintEvent (awtComponent, PaintEvent.PAINT, |