@Override
	protected synchronized void programActivated(Program program) {
		program.addListener(domainObjectListener);
		navUpdater.setProgram(program);
		initializeBookmarkers();
		provider.setProgram(program);
		bookmarkMgr = program.getBookmarkManager();
	}
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