File tree Expand file tree Collapse file tree 1 file changed +0
-3
lines changed Expand file tree Collapse file tree 1 file changed +0
-3
lines changed Original file line number Diff line number Diff line change @@ -73,7 +73,6 @@ export class NativeRepl implements Disposable {
7373 if ( this . notebookDocument && nb . uri . toString ( ) === this . notebookDocument . uri . toString ( ) ) {
7474 this . notebookDocument = undefined ;
7575 this . newReplSession = true ;
76- // await this.context.globalState.update(NATIVE_REPL_URI_MEMENTO, undefined);
7776 updateWorkspaceStateValue < string | undefined > ( NATIVE_REPL_URI_MEMENTO , undefined ) ;
7877 }
7978 } ) ,
@@ -172,7 +171,6 @@ export class NativeRepl implements Disposable {
172171 ) ;
173172
174173 this . notebookDocument = notebookEditor . notebook ;
175- // await this.context.globalState.update(NATIVE_REPL_URI_MEMENTO, this.notebookDocument.uri.toString());
176174 updateWorkspaceStateValue < string | undefined > ( NATIVE_REPL_URI_MEMENTO , this . notebookDocument . uri . toString ( ) ) ;
177175
178176 if ( this . notebookDocument ) {
@@ -190,7 +188,6 @@ export class NativeRepl implements Disposable {
190188 */
191189 private async cleanRepl ( ) : Promise < void > {
192190 this . notebookDocument = undefined ;
193- // await this.context.globalState.update(NATIVE_REPL_URI_MEMENTO, undefined);
194191 updateWorkspaceStateValue < string | undefined > ( NATIVE_REPL_URI_MEMENTO , undefined ) ;
195192 }
196193}
You can’t perform that action at this time.
0 commit comments