Function hideHeaderDockPersistent

public/js/dragAndDrop.js:500–506

()

  }
}
function hideHeaderDockPersistent() {
  const h = getHeaderDropArea();
  if (h) {
    h.classList.remove('dock-visible');
    if (h.children.length === 0) h.style.display = 'none';
  }
}

const COLLAPSE_ANIMATION_MS = 420;
const COLLAPSE_TARGET_SCALE = 0.14;