Interface: DockOptions

UI.dock — les propres paramètres du dock inférieur : la région, pas ses occupants.

Tout ce qui concerne ce qui est dans le dock est déclaré ailleurs — le tableau sous UI.table, tout le reste via addDockTab(). Ce qui reste ici est la région partagée par les occupants, c'est pourquoi il y a exactement un de chaque paramètre, quel que soit le nombre d'onglets enregistrés.

Exemple

// A dock holding only a plugin's pane, open on load
UI: { mode: 'full', table: false, dock: { open: true, height: 0.3 } }

Propriétés

collapsed?

optional collapsed: boolean | "auto"

Défini dans : interfaces/GraphUI.ts:390

Plié jusqu'à sa barre d'en-tête. 'auto' suit la pièce disponible, jusqu'au premier effondrement explicite ou étend le contrôle des mains à l'utilisateur pour de bon.

Valeur par défaut

'auto'

height?

optional height: number

Défini dans : interfaces/GraphUI.ts:392

Hauteur étendue : un nombre de pixels ou une fraction du canevas entre 0 et 1.

open?

optional open: boolean

Défini dans : interfaces/GraphUI.ts:384

Si la région est présente, et élargie lorsqu'elle l'est. Trois états, car la barre réduite est le contrôle qui l'ouvre :

true — présent et développé.
false — pas présent du tout. Shift+T l'apporte toujours.
unset (par défaut) — présent, replié sur sa barre d'en-tête.

Interface: DockOptions ​

Exemple ​

Propriétés ​

collapsed? ​

Valeur par défaut ​

height? ​