mirror of
git://gcc.gnu.org/git/gcc.git
synced 2025-01-12 19:55:45 +08:00
62 lines
1.9 KiB
Java
62 lines
1.9 KiB
Java
|
/* 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 verion.
|
||
|
|
||
|
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);
|
||
|
}
|
||
|
}
|