|
@@ -1370,7 +1370,7 @@ function populateMenus(app: JupyterLab, mainMenu: IMainMenu, tracker: INotebookT
|
|
mainMenu.viewMenu.addGroup(viewGroup, 10);
|
|
mainMenu.viewMenu.addGroup(viewGroup, 10);
|
|
|
|
|
|
// Add an IEditorViewer to the application view menu
|
|
// Add an IEditorViewer to the application view menu
|
|
- mainMenu.viewMenu.editorViewers.set('Editor', {
|
|
|
|
|
|
+ mainMenu.viewMenu.editorViewers.set('Notebook', {
|
|
tracker,
|
|
tracker,
|
|
toggleLineNumbers: widget => {
|
|
toggleLineNumbers: widget => {
|
|
NotebookActions.toggleAllLineNumbers(widget.notebook);
|
|
NotebookActions.toggleAllLineNumbers(widget.notebook);
|