Ver código fonte

Merge pull request #8728 from jtpio/rename-celltags-plugin

Rename the celltags plugin id to @jupyterlab/celltags
Steven Silvester 4 anos atrás
pai
commit
ef6563d67f
1 arquivos alterados com 1 adições e 1 exclusões
  1. 1 1
      packages/celltags-extension/src/index.ts

+ 1 - 1
packages/celltags-extension/src/index.ts

@@ -11,7 +11,7 @@ import { TagTool } from '@jupyterlab/celltags';
  * Initialization data for the celltags extension.
  */
 const celltags: JupyterFrontEndPlugin<void> = {
-  id: 'celltags',
+  id: '@jupyterlab/celltags',
   autoStart: true,
   requires: [INotebookTools, INotebookTracker],
   activate: (