public void refreshTab(T value) {
		int tabIndex = getTabIndex(value);
		if (tabIndex >= 0) {
			allTabs.get(tabIndex).refresh();
		}
	}
Informs the tab panel that some displayable property about the value has changed and the
tabs label, icon, and tooltip need to be updated.
@param value the value that has changed
Ghidra/Framework/Docking/src/main/java/docking/widgets/tab/GTabPanel.java