pivotick v3.0.0

---

pivotick / GraphUI / MainHeader

Interface: MainHeader

Definido em: interfaces/GraphUI.ts:777

Defina o que deve ser exibido no slot do cabeçalho principal da barra lateral para nós ou arestas.

Esses mapas também nomeiam elementos em outros lugares - o cabeçalho da dica de ferramenta, a coluna Name da tabela, [[node]] referências de notas - portanto, tratam-se de nomeação, e não de um painel. A faixa na parte superior da tela é algo completamente diferente: desligue-a com GraphUI.topBar.

Propriedades

edgeHeaderMap

edgeHeaderMap: HeaderMapEntry<Edge>

Definido em: interfaces/GraphUI.ts:779

---

nodeHeaderMap

nodeHeaderMap: HeaderMapEntry<Node>

Definido em: interfaces/GraphUI.ts:778

---

render?

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

Definido em: interfaces/GraphUI.ts:797

Renderizador personalizado para o cabeçalho principal. Este conteúdo substituirá o cabeçalho principal da barra lateral padrão.

Padrão

undefined

Exemplos

(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

Observações

Um string retornado é renderizado como texto simples; retorne um HTMLElement para renderizar HTML. Pode ser async: o slot mostra um espaço reservado até ser resolvido e um resultado que chega após a seleção ser movida é descartado.

Retorne (ou resolva para) undefined para devolver a seleção ao cabeçalho padrão: o título nodeHeaderMap / edgeHeaderMap para um elemento, a contagem de seleção para vários, o total da tela para nenhum. Retorne null para não desenhar nada.