pagenumber.java

来自「Java生成PDF Java生成PDF Java生成PDF」· Java 代码 · 共 66 行

// $Id: PageNumber.java,v 1.9 2007/09/12 09:54:31 mike Exp $

package org.faceless.pdf2.viewer2.feature;

import org.faceless.pdf2.viewer2.*;
import org.faceless.pdf2.*;
import javax.swing.*;
import java.awt.event.*;

/**
 * Create a widget that displays the current page number, and allows the user
 * to enter a new pagenumber for display.
 * The name of this feature is "PageNumber".
 * <p><i>This code is copyright the Big Faceless Organization. You're welcome to use, modify and distribute it in any form in your own projects, provided those projects continue to make use of the Big Faceless PDF library.</i></p>
 * @since 2.8
 */
public class PageNumber extends ViewerWidget implements DocumentPanelListener
{
    private JTextField pagenumber;

    public PageNumber() {
        super("PageNumber");

        pagenumber = new JTextField();
        pagenumber.setColumns(3);
        pagenumber.setHorizontalAlignment(JTextField.LEFT);
        pagenumber.setEditable(true);
        pagenumber.addActionListener(new ActionListener() {
            public void actionPerformed(ActionEvent e) {
                PDFViewer viewer = getViewer();
                String text = pagenumber.getText().trim();
                try {
                    viewer.getActiveDocumentPanel().setPageNumber(Integer.parseInt(text)-1);
                } catch (Exception x) {
                    pagenumber.setText(Integer.toString(viewer.getActiveDocumentPanel().getPageNumber()+1));
                }
                viewer.getActiveDocumentPanel().getViewport().requestFocusInWindow();
            }
        });
        pagenumber.addFocusListener(new FocusAdapter() {
            public void focusGained(FocusEvent e) {
                pagenumber.selectAll();
            }
        });
        setComponent("Navigation", pagenumber);
    }

    public void initialize(PDFViewer viewer) {
        super.initialize(viewer);
        viewer.addDocumentPanelListener(this);
    }

    public void documentUpdated(DocumentPanelEvent event) {
        if (event.getType()=="redrawn" || event.getType()=="activated") {
            pagenumber.setEnabled(true);
            int panpage = event.getDocumentPanel().getPageNumber();
            int boxpage = pagenumber.getText().length()==0 ? -1 : Integer.parseInt(pagenumber.getText())-1;
            if (boxpage!=panpage) {
                pagenumber.setText(Integer.toString(panpage+1));
            }
        } else if (event.getType()=="deactivated") {
            pagenumber.setText("");
        }
    }
}