public void updateClipboard() {
		clipboard.updateClipboard();
		clipboard.updateUI();
	}
@param plugin plugin associated with provider
Ghidra/Features/BytePatterns/src/main/java/ghidra/bitpatterns/gui/FunctionBitPatternsMainProvider.java