jnkeyboardhandler.java
来自「纯java操作系统jnode,安装简单和操作简单的个人使用的Java操作系统」· Java 代码 · 共 68 行
JAVA
68 行
/*
* $Id: JNKeyboardHandler.java,v 1.3 2004/02/28 09:20:53 epr Exp $
*/
package org.jnode.wt.server;
import java.awt.event.KeyEvent;
import javax.naming.NameNotFoundException;
import org.jnode.driver.input.KeyboardEvent;
import org.jnode.driver.input.KeyboardListener;
import org.jnode.wt.desktop.JNDesktopManager;
import org.jnode.wt.events.JNodeKeyEvent;
/**
* @author Ewout Prangsma (epr@users.sourceforge.net)
*/
public class JNKeyboardHandler implements KeyboardListener {
/** My logger */
//private final Logger log = Logger.getLogger(getClass());
private final JNDesktopManager mgr = JNDesktopManager.getDesktopManager();
private final JNServer server;
public JNKeyboardHandler(JNServer server) throws NameNotFoundException {
this.server = server;
server.getConsole().addKeyboardListener(this);
}
/**
* Close this handler
*/
public void close() {
server.getConsole().removeKeyboardListener(this);
}
/**
* @see org.jnode.driver.input.KeyboardListener#keyPressed(org.jnode.driver.input.KeyboardEvent)
*/
public void keyPressed(KeyboardEvent event) {
// TODO add key code info
final JNodeKeyEvent keyEvent = new JNodeKeyEvent(mgr
.getCurrentDesktop(), JNodeKeyEvent.KEY_PRESSED, 0); //TODO, 0
// is
// right?
mgr.postEvent(keyEvent);
// TODO Remove the next if statements after debugging
if (event.getKeyCode() == KeyEvent.VK_F12) {
if (event.isAltDown()) {
event.consume();
server.stop();
}
}
}
/**
* @see org.jnode.driver.input.KeyboardListener#keyReleased(org.jnode.driver.input.KeyboardEvent)
*/
public void keyReleased(KeyboardEvent event) {
// TODO Auto-generated method stub
}
}
⌨️ 快捷键说明
复制代码Ctrl + C
搜索代码Ctrl + F
全屏模式F11
增大字号Ctrl + =
减小字号Ctrl + -
显示快捷键?