@Override
	public void dispose() {
		if (focusAnimator != null) {
			focusAnimator.stop();
			focusAnimator = null;
		}
		super.dispose();
	}
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