@Override
	public void setSelected(boolean hasFocus) {
		if (!hasFocus) {
			if (focusAnimator != null) {
				focusAnimator.stop();
				focusAnimator = null;
			}
		}

		super.setSelected(hasFocus);
	}
Constructs a new DockableHeader for the given dockableComponent.

@param dockableComp the dockableComponent that this header is for.
@param isDocking true means this widget can be dragged and docked by the user
Ghidra/Framework/Docking/src/main/java/docking/DockableHeader.java