Interface for an extended panel section.

interface IToolPanel {
    panel: RankedPanel<Tool>;
    rank?: null | number;
    section: string;
}

Properties

Properties

panel: RankedPanel<Tool>

The associated panel, only one for a section.

rank?: null | number

The rank of the section on the notebooktools panel.

section: string

The name of the section.