private void bookmarkChanged(ProgramChangeRecord rec) {
		Bookmark bookmark = (Bookmark) rec.getObject();
		if (bookmark == null) {
			scheduleUpdate(null);
			provider.reload();
			return;
		}
		BookmarkNavigator nav = getBookmarkNavigator(bookmark.getType());
		nav.add(bookmark.getAddress());
		scheduleUpdate(bookmark.getType().getTypeString());
		provider.bookmarkChanged(bookmark);
		repaintMgr.update();
	}
Get or create a bookmark navigator for the specified bookmark type

@param type the bookmark type
@return bookmark navigator
Ghidra/Features/Base/src/main/java/ghidra/app/plugin/core/bookmark/BookmarkPlugin.java