diff options
| -rw-r--r-- | platform/java/example/Viewer.java | 81 |
1 files changed, 75 insertions, 6 deletions
diff --git a/platform/java/example/Viewer.java b/platform/java/example/Viewer.java index 1702e18c..1361a538 100644 --- a/platform/java/example/Viewer.java +++ b/platform/java/example/Viewer.java @@ -11,13 +11,14 @@ import java.io.FilenameFilter; import java.lang.reflect.Field; import java.util.Vector; -public class Viewer extends Frame implements WindowListener, ActionListener, ItemListener +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; @@ -27,8 +28,13 @@ public class Viewer extends Frame implements WindowListener, ActionListener, Ite 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 Vector<Outline> flatOutline; protected int pageCount; protected int pageNumber = 0; @@ -100,6 +106,15 @@ public class Viewer extends Frame implements WindowListener, ActionListener, Ite 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(); } @@ -184,6 +199,24 @@ public class Viewer extends Frame implements WindowListener, ActionListener, Ite 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); @@ -229,7 +262,7 @@ public class Viewer extends Frame implements WindowListener, ActionListener, Ite Outline[] outline = doc.loadOutline(); outlineList.removeAll(); if (outline != null) { - flatOutline = new Vector(); + flatOutline = new Vector<Outline>(); addOutline(outline, ""); outlineList.setVisible(true); } else { @@ -240,8 +273,8 @@ public class Viewer extends Frame implements WindowListener, ActionListener, Ite protected void updatePageCanvas() { pageField.setText(String.valueOf(pageNumber + 1)); - Matrix ctm = new Matrix().scale(zoomList[zoomLevel] / 72.0f * pixelScale); - BufferedImage image = imageFromPage(doc.loadPage(pageNumber), ctm); + pageCTM = new Matrix().scale(zoomList[zoomLevel] / 72.0f * pixelScale); + BufferedImage image = imageFromPage(doc.loadPage(pageNumber), pageCTM); pageCanvas.setImage(image); Dimension size = pageHolder.getPreferredSize(); @@ -252,11 +285,40 @@ public class Viewer extends Frame implements WindowListener, ActionListener, Ite 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; @@ -285,6 +347,13 @@ public class Viewer extends Frame implements WindowListener, ActionListener, Ite 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) @@ -322,7 +391,7 @@ public class Viewer extends Frame implements WindowListener, ActionListener, Ite pageNumber = (int)(oldPos * pageCount); } - if (zoomLevel != oldZoomLevel || pageNumber != oldPageNumber || layoutEm != oldLayoutEm) + if (zoomLevel != oldZoomLevel || pageNumber != oldPageNumber || layoutEm != oldLayoutEm || searchHits != oldSearchHits) updatePageCanvas(); } |