Skip to content
Merged
Show file tree
Hide file tree
Changes from 1 commit
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
Cleanup
  • Loading branch information
jtpio committed Feb 26, 2023
commit d12bacdba04a8b77cde808547e08522db4316c9c
4 changes: 0 additions & 4 deletions app/index.js
Original file line number Diff line number Diff line change
Expand Up @@ -46,10 +46,6 @@ async function createModule(scope, module) {
* The main function
*/
async function main() {
// load extra packages
// TODO: check if stil needed
require('@jupyterlab/celltags');

const mimeExtensionsMods = [
{{#each notebook_mime_extensions}}
require('{{ @key }}'),
Expand Down
4 changes: 2 additions & 2 deletions packages/tree-extension/src/index.ts
Original file line number Diff line number Diff line change
Expand Up @@ -20,7 +20,7 @@ import {
IDefaultFileBrowser
} from '@jupyterlab/filebrowser';

import { ISettingRegistry, SettingRegistry } from '@jupyterlab/settingregistry';
import { ISettingRegistry } from '@jupyterlab/settingregistry';

import { IRunningSessionManagers, RunningSessions } from '@jupyterlab/running';

Expand Down Expand Up @@ -236,7 +236,7 @@ const notebookTreeWidget: JupyterFrontEndPlugin<INotebookTree> = {
app.shell.add(nbTreeWidget, 'main', { rank: 100 });

if (settingEditorTracker) {
settingEditorTracker.widgetAdded.connect(async (_, editor) => {
settingEditorTracker.widgetAdded.connect((_, editor) => {
nbTreeWidget.addWidget(editor);
nbTreeWidget.tabBar.addTab(editor.title);
nbTreeWidget.currentWidget = editor;
Expand Down