diff options
Diffstat (limited to 'libjava/gnu/awt/gtk/GtkButtonPeer.java')
-rw-r--r-- | libjava/gnu/awt/gtk/GtkButtonPeer.java | 61 |
1 files changed, 0 insertions, 61 deletions
diff --git a/libjava/gnu/awt/gtk/GtkButtonPeer.java b/libjava/gnu/awt/gtk/GtkButtonPeer.java deleted file mode 100644 index 62ad419..0000000 --- a/libjava/gnu/awt/gtk/GtkButtonPeer.java +++ /dev/null @@ -1,61 +0,0 @@ -/* GtkButtonPeer.java -- Implements ButtonPeer with GTK - Copyright (C) 1998, 1999, 2000 Free Software Foundation, Inc. - -This file is part of the peer AWT libraries of GNU Classpath. - -This library is free software; you can redistribute it and/or modify -it under the terms of the GNU Library General Public License as published -by the Free Software Foundation, either version 2 of the License, or -(at your option) any later version. - -This library is distributed in the hope that it will be useful, but -WITHOUT ANY WARRANTY; without even the implied warranty of -MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the -GNU Library General Public License for more details. - -You should have received a copy of the GNU Library General Public License -along with this library; if not, write to the Free Software Foundation -Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307 USA. */ - - -package gnu.awt.gtk; - -import java.awt.*; -import java.awt.event.MouseEvent; -import java.awt.event.KeyEvent; -import java.awt.peer.*; - -public class GtkButtonPeer extends GtkComponentPeer - implements ButtonPeer -{ - protected native void create (); - public native void setLabel (String label); - - public GtkButtonPeer (Button b) - { - super (b); - } - - public void handleEvent (AWTEvent e) - { -// if (e.getID () == MouseEvent.MOUSE_CLICKED && isEnabled () -// && !modalHasGrab ()) -// { -// MouseEvent me = (MouseEvent) e; -// if (!me.isConsumed () -// && (me.getModifiers () & MouseEvent.BUTTON1_MASK) != 0) -// postActionEvent (((Button)awtComponent).getActionCommand (), -// me.getModifiers ()); -// } - -// if (e.getID () == KeyEvent.KEY_PRESSED) -// { -// KeyEvent ke = (KeyEvent) e; -// if (!ke.isConsumed () && ke.getKeyCode () == KeyEvent.VK_SPACE) -// postActionEvent (((Button)awtComponent).getActionCommand (), -// ke.getModifiers ()); -// } - - super.handleEvent (e); - } -} |