NotebookNavigatorMenuEventRegistrarComponent.pluginName
NotebookNavigatorMenuEventRegistrarComponent › pluginName
Type: string
The plugin's display name, which titles the parent entry.NotebookNavigatorMenuEventRegistrarComponent › pluginName
Type: string
The plugin's display name, which titles the parent entry.