All Downloads are FREE. Search and download functionalities are using the official Maven repository.

erer.flying-saucer-examples.9.9.4.source-code.FontScaleJPanelRender Maven / Gradle / Ivy

There is a newer version: 9.11.2
Show newest version
/*
 * Copyright (c) 2008 Patrick Wright
 *
 * This program is free software; you can redistribute it and/or
 * modify it under the terms of the
 * as published by the Free Software Foundation; either version 2.1
 * of the License, or (at your option) any later version.
 *
 * This program is distributed in the hope that it will be useful,
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
 * GNU Lesser General Public License for more details.
 *
 * You should have received a copy of the GNU Lesser General Public License
 * along with this program; if not, write to the Free Software
 * Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
 */

import org.xhtmlrenderer.simple.FSScrollPane;
import org.xhtmlrenderer.simple.XHTMLPanel;

import javax.annotation.Nonnull;
import javax.annotation.ParametersAreNonnullByDefault;
import javax.swing.*;
import java.awt.*;
import java.io.File;
import java.net.MalformedURLException;

/**
 * This example shows rendering a page where the font size can be adjusted dynamically once the page is loaded using
 * a font scaling factor. Note that scaling up or down once the page is rendered requires it to be re-rendered
 * and re-laid out, which takes a small (possibly insignificant) amount of time, but which may be noticeable for
 * larger pages.
 *
 *
 * @author Patrick Wright
 */
@ParametersAreNonnullByDefault
public class FontScaleJPanelRender {
    private String fileName;

    public static void main(String[] args) {
        try {
            new FontScaleJPanelRender().run(args);
        } catch (IllegalArgumentException e) {
            System.err.println(e.getMessage());
        }
    }

    private void run(String[] args) {
        loadAndCheckArgs(args);

        // Create a JPanel subclass to render the page
        final XHTMLPanel panel = new XHTMLPanel();

        // Set the XHTML document to render. We use the simplest form
        // of the API call, which uses a File reference. There
        // are a variety of overloads for setDocument().
        try {
            panel.setDocument(new File(fileName));
        } catch (MalformedURLException e) {
            throw new RuntimeException(e);
        }

        // Put our panel in a scrolling pane. You can use
        // a regular JScrollPane here, or our FSScrollPane.
        // FSScrollPane is already set up to move the correct
        // amount when scrolling 1 line or 1 page
        FSScrollPane scroll = new FSScrollPane(panel);

        JFrame frame = new JFrame("Flying Saucer: " + panel.getDocumentTitle());
        frame.setDefaultCloseOperation(JFrame.EXIT_ON_CLOSE);
        frame.getContentPane().add(BorderLayout.CENTER, scroll);

        panel.setFontScalingFactor(1.15F);
        panel.setMinFontScale(0.01F);
        panel.setMaxFontScale(12F);
        JPanel top = createTopPanel(panel);

        frame.getContentPane().add(BorderLayout.NORTH, top);

        frame.pack();
        frame.setSize(1024, 768);
        frame.setVisible(true);
    }

    @Nonnull
    private static JPanel createTopPanel(XHTMLPanel panel) {
        JButton smaller = new JButton("F-");
        smaller.addActionListener(event -> {
            panel.decrementFontSize();
            System.out.println("decremented");
        });
        JButton def = new JButton("F0");
        def.addActionListener(event -> {
            panel.resetFontSize();

            System.out.println("reset");
        });
        JButton larger = new JButton("F+");
        larger.addActionListener(event -> {
            panel.incrementFontSize();
            System.out.println("incremented");
        });
        JPanel top = new JPanel(new FlowLayout());
        top.add(smaller);
        top.add(def);
        top.add(larger);
        return top;
    }

    private void loadAndCheckArgs(String[] args) {
        if (args.length == 0) {
            throw new IllegalArgumentException("Enter a file or URI.");
        }
        String name = args[0];
        if (! new File(name).exists()) {
            throw new IllegalArgumentException("File " + name + " does not exist.");
        }
        this.fileName = name;
    }
}




© 2015 - 2025 Weber Informatics LLC | Privacy Policy