Dock

Een venster dat aan de onderkant van het scherm is bevestigd, naast de pagina en niet eroverheen: niets vervaagt, niets wacht, de pagina blijft bruikbaar. De kop vouwt het terug naar de titel en weer terug. Het neemt een pagina die de server rendert — `target: 'dock'` — of wat een script daar laat zien, zoals een modal en een paneel.

Een pagina geladen in een dock (`button_target(…, 'dock')`). Open beide: ze staan naast elkaar.

Open een pagina Open een lange pagina

Wat een script zelf laat zien — `showInTarget(app, target, { title, body, actions })` — in een modal, een paneel of een dock: dezelfde shell als die van een pagina, weergegeven in de browser.