📄 pdfnavigationevent.java
字号:
// $Id: PDFNavigationEvent.java,v 1.1 2007/02/21 14:23:49 mike Exp $package org.faceless.pdf2.viewer;import org.faceless.pdf2.*;/** * An event that occurs when the current position in the document changes. * Currently this is only raised when a page changes. */public final class PDFNavigationEvent{ private final PDFPage page; private final PDFViewport viewport; PDFNavigationEvent(PDFViewport viewport, PDFPage page) { this.viewport = viewport; this.page = page; } /** * Return the page this event refers to */ public PDFPage getPage() { return page; }}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -