diff options
| author | Paul Fisher <rao@gnu.org> | 1999-01-17 18:34:43 +0000 |
|---|---|---|
| committer | Paul Fisher <rao@gnu.org> | 1999-01-17 18:34:43 +0000 |
| commit | 5dc68cab752b1ce273232c4b89cf4e378ace6e01 (patch) | |
| tree | 1c28e51d651c4ff16eba7e0c8bab4503b9d12b6d /gnu/java/awt/peer/gtk/GtkButtonPeer.java | |
| parent | 55321b069c4d3a8b7c5c024a37457b58d915086a (diff) | |
| download | classpath-5dc68cab752b1ce273232c4b89cf4e378ace6e01.tar.gz | |
If a modal window has the grab, don't fire an action event.
Diffstat (limited to 'gnu/java/awt/peer/gtk/GtkButtonPeer.java')
| -rw-r--r-- | gnu/java/awt/peer/gtk/GtkButtonPeer.java | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/gnu/java/awt/peer/gtk/GtkButtonPeer.java b/gnu/java/awt/peer/gtk/GtkButtonPeer.java index 54d0b584e..fdff61e26 100644 --- a/gnu/java/awt/peer/gtk/GtkButtonPeer.java +++ b/gnu/java/awt/peer/gtk/GtkButtonPeer.java @@ -46,7 +46,8 @@ public class GtkButtonPeer extends GtkComponentPeer public void handleEvent (AWTEvent e) { - if (e.getID () == MouseEvent.MOUSE_CLICKED && isEnabled ()) + if (e.getID () == MouseEvent.MOUSE_CLICKED && isEnabled () + && !modalHasGrab ()) { MouseEvent me = (MouseEvent) e; if (!me.isConsumed() |
