void highlightFromTabList(boolean forward) {
		closeTabList();
		int highlightIndex = forward ? 0 : allTabs.size() - 1;
		highlightTab(allTabs.get(highlightIndex).getValue());
		requestFocus();
	}
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