()
| 491 | |
| 492 | // -------------------- header dock visibility helpers -------------------- |
| 493 | function showHeaderDockPersistent() { |
| 494 | const h = getHeaderDropArea(); |
| 495 | if (h) { |
| 496 | h.style.display = 'inline-flex'; |
| 497 | h.classList.add('dock-visible'); |
| 498 | } |
| 499 | } |
| 500 | function hideHeaderDockPersistent() { |
| 501 | const h = getHeaderDropArea(); |
| 502 | if (h) { |
no test coverage detected