Fix pinned notebooks navigator (#12246)

This commit is contained in:
Barbara Valdez
2020-09-11 16:39:40 -07:00
committed by GitHub
parent 4fee0210f6
commit 173a715a4d
3 changed files with 4 additions and 3 deletions

View File

@@ -25,7 +25,7 @@ export class AppContext {
let workspaceFolders = vscode.workspace.workspaceFolders?.slice() ?? [];
this.bookTreeViewProvider = new BookTreeViewProvider(workspaceFolders, extensionContext, false, BOOKS_VIEWID, NavigationProviders.NotebooksNavigator);
this.providedBookTreeViewProvider = new BookTreeViewProvider([], extensionContext, true, PROVIDED_BOOKS_VIEWID, NavigationProviders.ProvidedBooksNavigator);
this.pinnedBookTreeViewProvider = new BookTreeViewProvider([], extensionContext, false, PINNED_BOOKS_VIEWID, NavigationProviders.NotebooksNavigator);
this.pinnedBookTreeViewProvider = new BookTreeViewProvider([], extensionContext, false, PINNED_BOOKS_VIEWID, NavigationProviders.PinnedNotebooksNavigator);
this.outputChannel = vscode.window.createOutputChannel(extensionOutputChannelName);
}
}

View File

@@ -69,7 +69,8 @@ export enum PythonPkgType {
export enum NavigationProviders {
NotebooksNavigator = 'BookNavigator.Notebooks',
ProvidedBooksNavigator = 'BookNavigator.ProvidedBooks'
ProvidedBooksNavigator = 'BookNavigator.ProvidedBooks',
PinnedNotebooksNavigator = 'BookNavigator.PinnedNotebooks'
}
export const unsavedBooksContextKey = 'unsavedBooks';