Const default
default: JupyterFrontEndPlugin<void> = {id: '@jupyterlab/celltags',autoStart: true,requires: [INotebookTools, INotebookTracker, ITranslator],activate: (app: JupyterFrontEnd,tools: INotebookTools,tracker: INotebookTracker,translator: ITranslator) => {const tool = new TagTool(tracker, app, translator);tools.addItem({ tool: tool, rank: 1.6 });}}