pivotick v3.0.0

---

pivotic / GraphUI / MainHeader

Interfaz: MainHeader

Definido en: interfaces/GraphUI.ts:777

Defina lo que se debe mostrar en la ranura del encabezado principal de la barra lateral para nodos o bordes.

Estos mapas también nombran elementos en otros lugares: el encabezado de la información sobre herramientas, el Name de la tabla. columna, [[node]] referencias de notas, por lo que se trata de nombrar, no de uno panel. La franja a lo largo de la parte superior del lienzo es algo completamente diferente: cambiar eso apagado con GraphUI.topBar.

Propiedades

edgeHeaderMap

edgeHeaderMap: HeaderMapEntry<Edge>

Definido en: interfaces/GraphUI.ts:779

---

nodeHeaderMap

nodeHeaderMap: HeaderMapEntry<Node>

Definido en: interfaces/GraphUI.ts:778

---

render?

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

Definido en: interfaces/GraphUI.ts:797

Representador personalizado para el encabezado principal. Este contenido anulará el encabezado principal predeterminado de la barra lateral.

Predeterminado

undefined

Ejemplos

(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

Observaciones

Un string devuelto se muestra como texto sin formato; devuelve un HTMLElement para renderizar HTML. Puede ser async: la ranura muestra un marcador de posición hasta que se resuelve y un resultado que llega después de que la selección avanzó se elimina.

Regrese (o resuelva) undefined para devolver la selección al valor predeterminado encabezado: el título nodeHeaderMap / edgeHeaderMap para un elemento, la selección cuenta para varios, el lienzo total para ninguno. Regresar null a dibujar nada.