@Override
	public void menuDeselected(MenuEvent e) {
	}
Invoked when a menu is no longer selected.  This is always preceded
by a menuSelected invocation.  This is invoked prior to the processMenuAction 
if an action item is selected.
@see javax.swing.event.MenuListener#menuDeselected(javax.swing.event.MenuEvent)
Ghidra/Framework/Docking/src/main/java/docking/menu/MenuHandler.java