draaipunt / GraphUI / ExtraPanelSelection
Typ Alias: ExtraPanelSelection
Gedefinieerd in: interfaces/GraphUI.ts:937
De huidige zijbalkselectie is overgedragen aan een ExtraPanel's title / render: de geselecteerde Node of Edge, een array voor een meervoudige selectie, of null als er niets is geselecteerd. Dezelfde vorm als PropertiesPanel.render.