public synchronized void addType(String type) {
			if (type != null) {
				types.add(type);
			}
			else {
				for (String element : bookmarkNavigators.keySet()) {
					types.add(element);
				}
			}
			updateMgr.update();
		}
Runner used in thread to update bookmark display in the marker margins.
Ghidra/Features/Base/src/main/java/ghidra/app/plugin/core/bookmark/BookmarkPlugin.java