()
| 4232 | //#endif |
| 4233 | |
| 4234 | private void fillBookmarks() { |
| 4235 | bookmarks = null; |
| 4236 | final List l = getBookmarks(); |
| 4237 | |
| 4238 | final BookmarkManager bm = |
| 4239 | bookCanvas.getCurrentBook().getBookmarkManager(); |
| 4240 | |
| 4241 | Bookmark b = bm.getFirst(); |
| 4242 | |
| 4243 | while (b != null) { |
| 4244 | l.append(b.getTextForList(), null); |
| 4245 | b = b.getNext(); |
| 4246 | } |
| 4247 | } |
| 4248 | |
| 4249 | public final void setCurrentBookmarkOptions( |
| 4250 | final int pos, final String s) { |
no test coverage detected