#4363: Reopen notebook editors when ADS launched (#4424)

* #4363: Reopen notebook editors when ADS launched

* Code review changes
This commit is contained in:
Raj
2019-03-12 23:02:37 -07:00
committed by GitHub
parent b495fb7a37
commit ebd187ec06
5 changed files with 30 additions and 15 deletions

View File

@@ -16,6 +16,7 @@ import { ResourceMap } from 'vs/base/common/map';
import { QueryInput } from 'sql/parts/query/common/queryInput';
import { UntitledEditorInput } from 'vs/workbench/common/editor/untitledEditorInput';
import * as CustomInputConverter from 'sql/parts/common/customInputConverter';
import { NotebookInput } from 'sql/parts/notebook/notebookInput';
const EditorOpenPositioning = {
LEFT: 'left',
@@ -624,6 +625,8 @@ export class EditorGroup extends Disposable {
let editors = this.editors.map(e => {
if (e instanceof QueryInput) {
return e.sql;
} else if (e instanceof NotebookInput) {
return e.textInput;
}
return e;
});
@@ -654,6 +657,8 @@ export class EditorGroup extends Disposable {
let mru = this.mru.map(e => {
if (e instanceof QueryInput) {
return e.sql;
} else if (e instanceof NotebookInput) {
return e.textInput;
}
return e;
});