private int getTabIndex(T value) {
		for (int i = 0; i < allTabs.size(); i++) {
			if (allTabs.get(i).getValue().equals(value)) {
				return i;
			}
		}
		return -1;
	}
Returns the value of the tab that generated the given mouse event. If the mouse event
is not from one of the tabs, then null is returned.
@param event the MouseEvent to get a value for
@return the value of the tab that generated the mouse event
Ghidra/Framework/Docking/src/main/java/docking/widgets/tab/GTabPanel.java