package example; import com.artifex.mupdf.fitz.*; import java.awt.*; import java.awt.event.*; import java.awt.image.*; import java.io.File; import java.io.FilenameFilter; import java.lang.reflect.Field; import java.util.Vector; import java.util.Date; public class Viewer extends Frame implements WindowListener, ActionListener, ItemListener, TextListener { protected Document doc; protected ScrollPane pageScroll; protected Panel pageHolder; protected ImageCanvas pageCanvas; protected Matrix pageCTM; protected Button firstButton, prevButton, nextButton, lastButton; protected TextField pageField; protected Label pageLabel; protected Button zoomInButton, zoomOutButton; protected Choice zoomChoice; protected Button fontIncButton, fontDecButton; protected Label fontSizeLabel; protected TextField searchField; protected Button searchPrevButton, searchNextButton; protected int searchHitPage = -1; protected Rect searchHits[]; protected List outlineList; protected Vector flatOutline; protected int pageCount; protected int pageNumber = 0; protected int zoomLevel = 5; protected int layoutWidth = 450; protected int layoutHeight = 600; protected int layoutEm = 12; protected float pixelScale; protected static final int zoomList[] = { 18, 24, 36, 54, 72, 96, 120, 144, 180, 216, 288 }; protected static BufferedImage imageFromPixmap(Pixmap pixmap) { int w = pixmap.getWidth(); int h = pixmap.getHeight(); BufferedImage image = new BufferedImage(w, h, BufferedImage.TYPE_3BYTE_BGR); image.setRGB(0, 0, w, h, pixmap.getPixels(), 0, w); return image; } protected static BufferedImage imageFromPage(Page page, Matrix ctm) { Rect bbox = page.getBounds().transform(ctm); Pixmap pixmap = new Pixmap(ColorSpace.DeviceBGR, bbox, true); pixmap.clear(255); DrawDevice dev = new DrawDevice(pixmap); page.run(dev, ctm, null); dev.close(); dev.destroy(); BufferedImage image = imageFromPixmap(pixmap); pixmap.destroy(); return image; } protected static void messageBox(Frame owner, String title, String message) { final Dialog box = new Dialog(owner, title, true); box.add(new Label(message), BorderLayout.CENTER); Panel buttonPane = new Panel(new FlowLayout()); Button okayButton = new Button("Okay"); okayButton.addActionListener(new ActionListener() { public void actionPerformed(ActionEvent event) { box.setVisible(false); } }); buttonPane.add(okayButton); box.add(buttonPane, BorderLayout.SOUTH); box.pack(); box.setVisible(true); box.dispose(); } protected class ImageCanvas extends Canvas { protected BufferedImage image; public void setImage(BufferedImage image_) { image = image_; repaint(); } public Dimension getPreferredSize() { return new Dimension(image.getWidth(), image.getHeight()); } public void paint(Graphics g) { float imageScale = 1 / pixelScale; final Graphics2D g2d = (Graphics2D)g.create(0, 0, image.getWidth(), image.getHeight()); g2d.scale(imageScale, imageScale); g2d.drawImage(image, 0, 0, null); if (searchHitPage == pageNumber && searchHits != null && searchHits.length > 0) { g2d.setColor(new Color(1, 0, 0, 0.4f)); for (int i = 0; i < searchHits.length; ++i) { Rect hit = new Rect(searchHits[i]).transform(pageCTM); g2d.fillRect((int)hit.x0, (int)hit.y0, (int)(hit.x1-hit.x0), (int)(hit.y1-hit.y0)); } } g2d.dispose(); } public Dimension getMinimumSize() { return getPreferredSize(); } public Dimension getMaximumSize() { return getPreferredSize(); } public void update(Graphics g) { paint(g); } } public Viewer(Document doc_) { this.doc = doc_; pixelScale = getRetinaScale(); setTitle("MuPDF: " + doc.getMetaData(Document.META_INFO_TITLE)); doc.layout(layoutWidth, layoutHeight, layoutEm); pageCount = doc.countPages(); Panel rightPanel = new Panel(new BorderLayout()); { Panel toolpane = new Panel(new GridBagLayout()); { GridBagConstraints c = new GridBagConstraints(); c.fill = GridBagConstraints.HORIZONTAL; c.anchor = GridBagConstraints.WEST; Panel toolbar = new Panel(new FlowLayout(FlowLayout.LEFT)); { firstButton = new Button("|<"); firstButton.addActionListener(this); prevButton = new Button("<"); prevButton.addActionListener(this); nextButton = new Button(">"); nextButton.addActionListener(this); lastButton = new Button(">|"); lastButton.addActionListener(this); pageField = new TextField(4); pageField.addActionListener(this); pageLabel = new Label("/ " + pageCount); toolbar.add(firstButton); toolbar.add(prevButton); toolbar.add(pageField); toolbar.add(pageLabel); toolbar.add(nextButton); toolbar.add(lastButton); } c.gridy = 0; toolpane.add(toolbar, c); toolbar = new Panel(new FlowLayout(FlowLayout.LEFT)); { zoomOutButton = new Button("Zoom-"); zoomOutButton.addActionListener(this); zoomInButton = new Button("Zoom+"); zoomInButton.addActionListener(this); zoomChoice = new Choice(); for (int i = 0; i < zoomList.length; ++i) zoomChoice.add(String.valueOf(zoomList[i])); zoomChoice.select(zoomLevel); zoomChoice.addItemListener(this); toolbar.add(zoomOutButton); toolbar.add(zoomChoice); toolbar.add(zoomInButton); } c.gridy += 1; toolpane.add(toolbar, c); if (doc.isReflowable()) { toolbar = new Panel(new FlowLayout(FlowLayout.LEFT)); { fontDecButton = new Button("Font-"); fontDecButton.addActionListener(this); fontIncButton = new Button("Font+"); fontIncButton.addActionListener(this); fontSizeLabel = new Label(String.valueOf(layoutEm)); toolbar.add(fontDecButton); toolbar.add(fontSizeLabel); toolbar.add(fontIncButton); } c.gridy += 1; toolpane.add(toolbar, c); } toolbar = new Panel(new FlowLayout(FlowLayout.LEFT)); { searchField = new TextField(20); searchField.addActionListener(this); searchField.addTextListener(this); searchPrevButton = new Button("<"); searchPrevButton.addActionListener(this); searchNextButton = new Button(">"); searchNextButton.addActionListener(this); toolbar.add(searchField); toolbar.add(searchPrevButton); toolbar.add(searchNextButton); } c.gridy += 1; toolpane.add(toolbar, c); } rightPanel.add(toolpane, BorderLayout.NORTH); outlineList = new List(); outlineList.addItemListener(this); rightPanel.add(outlineList, BorderLayout.CENTER); } this.add(rightPanel, BorderLayout.EAST); pageScroll = new ScrollPane(ScrollPane.SCROLLBARS_AS_NEEDED); { pageHolder = new Panel(new GridBagLayout()); { pageHolder.setBackground(Color.gray); pageCanvas = new ImageCanvas(); pageHolder.add(pageCanvas); } pageScroll.add(pageHolder); } this.add(pageScroll, BorderLayout.CENTER); addWindowListener(this); updateOutline(); updatePageCanvas(); pack(); } protected void addOutline(Outline[] outline, String indent) { for (int i = 0; i < outline.length; ++i) { Outline node = outline[i]; if (node.title != null) { flatOutline.add(node); outlineList.add(indent + node.title); } if (node.down != null) addOutline(node.down, indent + " "); } } protected void updateOutline() { Outline[] outline = doc.loadOutline(); outlineList.removeAll(); if (outline != null) { flatOutline = new Vector(); addOutline(outline, ""); outlineList.setVisible(true); } else { outlineList.setVisible(false); } } protected void updatePageCanvas() { pageField.setText(String.valueOf(pageNumber + 1)); pageCTM = new Matrix().scale(zoomList[zoomLevel] / 72.0f * pixelScale); BufferedImage image = imageFromPage(doc.loadPage(pageNumber), pageCTM); pageCanvas.setImage(image); Dimension size = pageHolder.getPreferredSize(); size.width += 40; size.height += 40; pageScroll.setPreferredSize(size); pageCanvas.invalidate(); validate(); } protected void doSearch(int direction) { int searchPage; if (searchHitPage == -1) searchPage = pageNumber; else searchPage = pageNumber + direction; searchHitPage = -1; String needle = searchField.getText(); while (searchPage >= 0 && searchPage < pageCount) { Page page = doc.loadPage(searchPage); searchHits = page.search(needle); page.destroy(); if (searchHits != null && searchHits.length > 0) { searchHitPage = searchPage; pageNumber = searchPage; break; } searchPage += direction; } } public void textValueChanged(TextEvent event) { Object source = event.getSource(); if (source == searchField) { searchHitPage = -1; } } public void actionPerformed(ActionEvent event) { Object source = event.getSource(); int oldPageNumber = pageNumber; int oldLayoutEm = layoutEm; int oldZoomLevel = zoomLevel; Rect[] oldSearchHits = searchHits; if (source == firstButton) pageNumber = 0; if (source == lastButton) pageNumber = pageCount - 1; if (source == prevButton) { pageNumber = pageNumber - 1; if (pageNumber < 0) pageNumber = 0; } if (source == nextButton) { pageNumber = pageNumber + 1; if (pageNumber >= pageCount) pageNumber = pageCount - 1; } if (source == pageField) { pageNumber = Integer.parseInt(pageField.getText()) - 1; if (pageNumber < 0) pageNumber = 0; if (pageNumber >= pageCount) pageNumber = pageCount - 1; pageField.setText(String.valueOf(pageNumber)); } if (source == searchField) doSearch(1); if (source == searchNextButton) doSearch(1); if (source == searchPrevButton) doSearch(-1); if (source == fontIncButton && doc.isReflowable()) { layoutEm += 1; if (layoutEm > 36) layoutEm = 36; fontSizeLabel.setText(String.valueOf(layoutEm)); } if (source == fontDecButton && doc.isReflowable()) { layoutEm -= 1; if (layoutEm < 6) layoutEm = 6; fontSizeLabel.setText(String.valueOf(layoutEm)); } if (source == zoomOutButton) { zoomLevel -= 1; if (zoomLevel < 0) zoomLevel = 0; zoomChoice.select(zoomLevel); } if (source == zoomInButton) { zoomLevel += 1; if (zoomLevel >= zoomList.length) zoomLevel = zoomList.length - 1; zoomChoice.select(zoomLevel); } if (layoutEm != oldLayoutEm) { long mark = doc.makeBookmark(pageNumber); doc.layout(layoutWidth, layoutHeight, layoutEm); updateOutline(); pageCount = doc.countPages(); pageLabel.setText("/ " + pageCount); pageNumber = doc.findBookmark(mark); } if (zoomLevel != oldZoomLevel || pageNumber != oldPageNumber || layoutEm != oldLayoutEm || searchHits != oldSearchHits) updatePageCanvas(); } public void itemStateChanged(ItemEvent event) { Object source = event.getSource(); if (source == zoomChoice) { int oldZoomLevel = zoomLevel; zoomLevel = zoomChoice.getSelectedIndex(); if (zoomLevel != oldZoomLevel) updatePageCanvas(); } if (source == outlineList) { int i = outlineList.getSelectedIndex(); Outline node = (Outline)flatOutline.elementAt(i); if (node.page >= 0) { if (node.page != pageNumber) { pageNumber = node.page; updatePageCanvas(); } } } } public void windowClosing(WindowEvent event) { dispose(); } public void windowActivated(WindowEvent event) { } public void windowDeactivated(WindowEvent event) { } public void windowIconified(WindowEvent event) { } public void windowDeiconified(WindowEvent event) { } public void windowOpened(WindowEvent event) { } public void windowClosed(WindowEvent event) { } public static void main(String[] args) { File selectedFile; if (args.length <= 0) { FileDialog fileDialog = new FileDialog((Frame)null, "MuPDF Open File", FileDialog.LOAD); fileDialog.setDirectory(System.getProperty("user.dir")); fileDialog.setFilenameFilter(new FilenameFilter() { public boolean accept(File dir, String name) { return Document.recognize(name); } }); fileDialog.setVisible(true); if (fileDialog.getFile() == null) System.exit(0); selectedFile = new File(fileDialog.getDirectory(), fileDialog.getFile()); fileDialog.dispose(); } else { selectedFile = new File(args[0]); } try { Document doc = Document.openDocument(selectedFile.getAbsolutePath()); Viewer app = new Viewer(doc); app.setVisible(true); return; } catch (Exception e) { messageBox(null, "MuPDF Error", "Cannot open \"" + selectedFile + "\": " + e.getMessage() + "."); System.exit(1); } } public float getRetinaScale() { // first try Oracle's VM (we should also test for 1.7.0_40 or higher) final String vendor = System.getProperty("java.vm.vendor"); boolean isOracle = vendor != null && vendor.toLowerCase().contains("Oracle".toLowerCase()); if (isOracle) { GraphicsEnvironment env = GraphicsEnvironment.getLocalGraphicsEnvironment(); final GraphicsDevice device = env.getDefaultScreenDevice(); try { Field field = device.getClass().getDeclaredField("scale"); if (field != null) { field.setAccessible(true); Object scale = field.get(device); if (scale instanceof Integer && ((Integer)scale).intValue() == 2) { return 2.0f; } } } catch (Exception ignore) { } return 1.0f; } // try Apple VM final Float scaleFactor = (Float)Toolkit.getDefaultToolkit().getDesktopProperty("apple.awt.contentScaleFactor"); if (scaleFactor != null && scaleFactor.intValue() == 2) { return 2.0f; } return 1.0f; } }