private void typeAdded(ProgramChangeRecord rec) {
		BookmarkType type = (BookmarkType) rec.getObject();
		if (type == null) {
			return;
		}
		provider.typeAdded(type.getTypeString());
		getBookmarkNavigator(bookmarkMgr.getBookmarkType(type.getTypeString()));
		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