Fix duplicate editor windows on reload (#16893)

This commit is contained in:
Charles Gagnon
2021-08-25 20:07:58 -07:00
committed by GitHub
parent f66a0f9761
commit 0aede16aaa
3 changed files with 7 additions and 2 deletions

View File

@@ -29,6 +29,8 @@ export const SearchViewFocusedKey = new RawContextKey<boolean>('notebookSearchVi
export const InputBoxFocusedKey = new RawContextKey<boolean>('inputBoxFocus', false);
export const SearchInputBoxFocusedKey = new RawContextKey<boolean>('searchInputBoxFocus', false);
export const UNTITLED_NOTEBOOK_TYPEID = 'workbench.editorinputs.untitledNotebookInput';
export const enum NotebookLanguage {
Notebook = 'Notebook',
Ipynb = 'ipynb'