📄 gtkbuttonpeer.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 modifyit 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, butWITHOUT ANY WARRANTY; without even the implied warranty ofMERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See theGNU Library General Public License for more details.You should have received a copy of the GNU Library General Public Licensealong with this library; if not, write to the Free Software FoundationInc., 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); }}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -