(int level)
| 647 | } |
| 648 | |
| 649 | protected void zoomToLevel(int level) { |
| 650 | if (level < 0) |
| 651 | level = 0; |
| 652 | if (level >= zoomList.length - 1) |
| 653 | level = zoomList.length - 1; |
| 654 | zoomToDPI(zoomList[level]); |
| 655 | } |
| 656 | |
| 657 | protected void zoomIn() { |
| 658 | zoomToLevel(findNextLargerZoomLevel(currentDPI)); |
no test coverage detected