| 343 | } |
| 344 | |
| 345 | public void flipPages(final int flips, final OnException onException) { |
| 346 | worker.add(new Worker.Task() { |
| 347 | Location location = currentPage; |
| 348 | public void work() { |
| 349 | int page = doc.pageNumberFromLocation(location); |
| 350 | int newPage = page + flips; |
| 351 | location = doc.locationFromPageNumber(newPage); |
| 352 | } |
| 353 | public void run() { |
| 354 | gotoLocation(location, onException); |
| 355 | } |
| 356 | public void exception(Throwable t) { |
| 357 | if (onException != null) |
| 358 | onException.run(t); |
| 359 | } |
| 360 | }); |
| 361 | } |
| 362 | |
| 363 | public void gotoFirstPage(final OnException onException) { |
| 364 | worker.add(new Worker.Task() { |