public void goToBookmark(int viewRow) { if (viewRow == -1 || table.getRowCount() == 0) { return; } LocationController lc = LocationController.getInstance(); BookmarksTableModel tableModel = (BookmarksTableModel) table.getModel(); Bookmark bookmark = tableModel.getData().get(table.convertRowIndexToModel(viewRow)); lc.setLocation(bookmark.getReference(), (Range) bookmark.getRange()); }
private static void saveBookmarks(String filename, List<Bookmark> bookmarks) throws IOException { BufferedWriter bw = new BufferedWriter(new FileWriter(filename)); for (Bookmark bm : bookmarks) { bw.write( bm.getReference() + "\t" + bm.getRange().getFrom() + "\t" + bm.getRange().getTo() + "\t" + bm.getAnnotation() + "\n"); } bw.close(); }