Sfoglia il codice sorgente

Update file browser menu plugin ID.

Afshin Darian 7 anni fa
parent
commit
9d03ae0416
1 ha cambiato i file con 2 aggiunte e 2 eliminazioni
  1. 2 2
      packages/filebrowser-extension/src/index.ts

+ 2 - 2
packages/filebrowser-extension/src/index.ts

@@ -118,7 +118,7 @@ const factory: JupyterLabPlugin<IFileBrowserFactory> = {
  */
 const menu: JupyterLabPlugin<void> = {
   activate: activateMenu,
-  id: 'jupyter.extensions.filebrowsermenu',
+  id: '@jupyterlab/filebrowser-extension:menu',
   requires: [IMainMenu],
   autoStart: true
 };
@@ -429,7 +429,7 @@ function createMenu(app: JupyterLab): Menu {
  * This function generates temporary commands with an incremented name. These
  * commands are disposed when the menu itself is disposed.
  */
-function createContextMenu(path: string, commands: CommandRegistry, registry: DocumentRegistry):  Menu {
+function createContextMenu(path: string, commands: CommandRegistry, registry: DocumentRegistry): Menu {
   const menu = new Menu({ commands });
 
   menu.addItem({ command: CommandIDs.open });