GTable getBookmarkTable() {
		return provider.getBookmarkTable();
	}
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