Pivotick / GraphUI / DockOptions
Interface: DockOptions
Definiert in: interfaces/GraphUI.ts:375
UI.dock – die eigenen Einstellungen des unteren Docks: die Region, nicht seine Bewohner.
Alles über was in im Dock ist, wird an anderer Stelle deklariert – in der Tabelle unter UI.table, alles andere bis addDockTab(). Was hier übrig bleibt, ist die Region, die die Bewohner teilen, weshalb es von jeder Einstellung genau eine gibt, egal wie viele Registerkarten registriert sind.
Beispiel
// A dock holding only a plugin's pane, open on load
UI: { mode: 'full', table: false, dock: { open: true, height: 0.3 } }Eigenschaften
collapsed?
optionalcollapsed:boolean|"auto"
Definiert in: interfaces/GraphUI.ts:390
Bis auf die Kopfleiste zusammengeklappt. 'auto' folgt dem verfügbaren Raum, bis der erste explizite Zusammenbruch erfolgt oder die Handkontrolle endgültig an den Benutzer übergeben wird.
Standardwert
'auto'height?
optionalheight:number
Definiert in: interfaces/GraphUI.ts:392
Erweiterte Höhe: eine Pixelanzahl oder ein Bruchteil der Arbeitsfläche zwischen 0 und 1.
open?
optionalopen:boolean
Definiert in: interfaces/GraphUI.ts:384
Ob die Region vorhanden ist und erweitert wird, wenn sie vorhanden ist. Drei Zustände, da die minimierte Leiste das Steuerelement ist, das sie öffnet:
true– vorhanden und erweitert.false– überhaupt nicht vorhanden.Shift+Tbringt es immer noch rein.- unset (Standard) – vorhanden, zur Kopfzeile gefaltet.