draaipunt / GraphUI / DockOptions
Interface: DockOptions
Gedefinieerd in: interfaces/GraphUI.ts:375
UI.dock — de eigen instellingen van het onderste dok: de regio, niet de bewoners.
Alles over wat zich in het dock bevindt, wordt elders aangegeven — de tabel hieronder UI.table, al het andere via addDockTab(). Wat hier overblijft is de regio de bewoners delen, daarom is er van elke setting precies één veel tabbladen zijn geregistreerd.
Voorbeeld
// A dock holding only a plugin's pane, open on load
UI: { mode: 'full', table: false, dock: { open: true, height: 0.3 } }Eigenschappen
collapsed?
optionalcollapsed:boolean|"auto"
Gedefinieerd in: interfaces/GraphUI.ts:390
Weggeklapt tot alleen de kopbalk. 'auto' volgt de beschikbare kamer, tot de eerste expliciete ineenstorting of uitbreiding van de handen geeft de gebruiker voorgoed controle.
Standaard
'auto'height?
optionalheight:number
Gedefinieerd in: interfaces/GraphUI.ts:392
Uitgebreide hoogte: een aantal pixels, of een deel van het canvas tussen 0 en 1.
open?
optionalopen:boolean
Gedefinieerd in: interfaces/GraphUI.ts:384
Of de regio aanwezig is en wordt uitgebreid wanneer dat het geval is. Drie staten, omdat de samengevouwen balk is het besturingselement waarmee deze wordt geopend:
true— aanwezig en uitgebreid.false— helemaal niet aanwezig.Shift+Tbrengt het nog steeds binnen.- unset (standaard) — aanwezig, gevouwen naar de kopbalk.