draaipunt / GraphUI / MainHeader
Interface: MainHeader
Gedefinieerd in: interfaces/GraphUI.ts:777
Definieer wat er moet worden weergegeven in de hoofdtekstsleuf van de zijbalk voor knooppunten of randen.
Deze kaarten benoemen ook elementen elders: de kop van de tooltip, de tabel Name kolom, [[node]] noteer referenties — dus ze gaan over naming, niet over één paneel. De strook langs de bovenkant van het canvas is heel iets anders: schakelaar dat uit met GraphUI.topBar.
Eigenschappen
edgeHeaderMap
edgeHeaderMap:
HeaderMapEntry<Edge>
Gedefinieerd in: interfaces/GraphUI.ts:779
nodeHeaderMap
nodeHeaderMap:
HeaderMapEntry<Node>
Gedefinieerd in: interfaces/GraphUI.ts:778
render?
optionalrender:string|HTMLElement| (element,ctx) =>FallbackRenderResult
Gedefinieerd in: interfaces/GraphUI.ts:797
Aangepaste renderer voor de hoofdkop. Deze inhoud overschrijft de standaard hoofdkop van de zijbalk.
Standaard
undefinedVoorbeelden
(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) : undefinedOpmerkingen
Een geretourneerde string wordt weergegeven als platte tekst; retourneer een HTMLElement om HTML weer te geven. Kan async zijn: het slot toont een tijdelijke aanduiding totdat het wordt opgelost, en een resultaat die arriveert nadat de verplaatste selectie is verwijderd.
Return (of besluit tot) undefined om de selectie terug te zetten naar de standaardwaarde header: de nodeHeaderMap / edgeHeaderMap titel voor één element, de selectie telt voor meerdere, het canvastotaal voor geen. Keer null terug naar teken niets.