fix serialization error

This commit is contained in:
meganrogge 2021-06-15 06:16:17 -07:00
parent 0baba5e51e
commit 46877c9abc
No known key found for this signature in database
GPG key ID: 3155C8B2F0428C81
3 changed files with 6 additions and 7 deletions

View file

@ -204,10 +204,9 @@ export function registerTerminalActions() {
});
}
async run(accessor: ServicesAccessor) {
const terminalService = accessor.get(ITerminalService);
const editorService = accessor.get(IEditorService);
const instantiationService = accessor.get(IInstantiationService);
const input = TerminalEditorInput.copy(terminalService, instantiationService);
const input = TerminalEditorInput.copy(instantiationService);
await editorService.openEditor(input, { pinned: true, forceReload: true });
}
});

View file

@ -75,6 +75,6 @@ export class TerminalInputSerializer implements IEditorInputSerializer {
}
public deserialize(instantiationService: IInstantiationService, serializedEditorInput: string): TerminalEditorInput {
throw new Error('not implemented');
return TerminalEditorInput.copy(instantiationService);
}
}

View file

@ -27,14 +27,14 @@ export class TerminalEditorInput extends EditorInput {
}
constructor(
instance: ITerminalInstance
@ITerminalService terminalService: ITerminalService
) {
super();
this._terminalInstance = instance;
this._terminalInstance = terminalService.createTerminal();
}
static copy(terminalService: ITerminalService, instantiationService: IInstantiationService): TerminalEditorInput {
return new TerminalEditorInput(terminalService.createInstance({}));
static copy(instantiationService: IInstantiationService): TerminalEditorInput {
return instantiationService.createInstance(TerminalEditorInput);
}
override getName() {