pivotick v3.0.0

---

pivotick / GraphUI / MainHeader

Interface: MainHeader

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

Définissez ce qui doit être affiché dans l'emplacement d'en-tête principal de la barre latérale pour les nœuds ou les bords.

Ces cartes nomment également des éléments ailleurs – l'en-tête de l'info-bulle, la colonne Name du tableau, les références de note [[node]] – il s'agit donc de nommage, pas d'un panneau. La bande en haut de la toile est une chose complètement différente : désactivez-la avec GraphUI.topBar.

Propriétés

edgeHeaderMap

edgeHeaderMap: HeaderMapEntry<Edge>

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

---

nodeHeaderMap

nodeHeaderMap: HeaderMapEntry<Node>

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

---

render?

optional render: string | HTMLElement | (element, ctx) => FallbackRenderResult

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

Moteur de rendu personnalisé pour l'en-tête principal. Ce contenu remplacera l’en-tête principal par défaut de la barre latérale.

Valeur par défaut

undefined

Exemples

(element) => `element id: ${element.id}`

// A custom header for a lone element, the default counts for everything else.
(element) => (element && !Array.isArray(element)) ? headerFor(element) : undefined

Remarques

Un string renvoyé s'affiche sous forme de texte brut ; renvoie un HTMLElement pour restituer HTML. Peut-être async : l'emplacement affiche un espace réservé jusqu'à ce qu'il soit résolu, et un résultat arrivant après la sélection déplacée est supprimé.

Renvoyez (ou résolvez) undefined pour remettre la sélection à l'en-tête par défaut : le titre nodeHeaderMap / edgeHeaderMap pour un élément, le nombre de sélections pour plusieurs, le total du canevas pour aucun. Retournez null pour ne rien dessiner.