300301302303304305306307308309310
} private void refreshView() { if (view != null && view instanceof BookmarksView) { BookmarksView bView = ((BookmarksView) view); bView.refresh(); } } /** * Go to the given bookmark