📄 pdfkeyevent.java
字号:
// $Id: PDFKeyEvent.java,v 1.1 2007/02/21 14:23:49 mike Exp $package org.faceless.pdf2.viewer;import java.awt.event.*;import java.awt.geom.*;import java.awt.*;import org.faceless.pdf2.*;/** * An Event called when a {@link KeyEvent} occurs on the viewport. */public final class PDFKeyEvent{ private final KeyEvent event; private final PDFViewport viewport; PDFKeyEvent(KeyEvent event, PDFViewport viewport) { this.event = event; this.viewport = viewport; } /** * Return the underlying {@link KeyEvent} */ public KeyEvent getKeyEvent() { return event; }}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -