()
| 2439 | } |
| 2440 | |
| 2441 | public final void setupNewBookmark() { |
| 2442 | final Page p = |
| 2443 | chapterBooklet.getCurrentPage(); |
| 2444 | |
| 2445 | app.setCurrentBookmarkOptions( |
| 2446 | p.getStart(), |
| 2447 | p.getTextForBookmark(chapterBooklet.getTextBuffer())); |
| 2448 | } |
| 2449 | |
| 2450 | public final int getCurrentMargin() { |
| 2451 | return currentMarginWidth; |
no test coverage detected