(ItemEvent event)
| 1347 | } |
| 1348 | |
| 1349 | public void itemStateChanged(ItemEvent event) { |
| 1350 | Object source = event.getSource(); |
| 1351 | if (source == zoomChoice) { |
| 1352 | zoomToLevel(zoomChoice.getSelectedIndex()); |
| 1353 | pageCanvas.requestFocusInWindow(); |
| 1354 | } |
| 1355 | if (source == outlineList) { |
| 1356 | int i = outlineList.getSelectedIndex(); |
| 1357 | doc.gotoLocation(outline[i].location, null); |
| 1358 | pageCanvas.requestFocusInWindow(); |
| 1359 | } |
| 1360 | } |
| 1361 | |
| 1362 | public void windowClosing(WindowEvent event) { dispose(); } |
| 1363 | public void windowActivated(WindowEvent event) { } |
nothing calls this directly
no test coverage detected