File tree Expand file tree Collapse file tree 1 file changed +1
-10
lines changed Expand file tree Collapse file tree 1 file changed +1
-10
lines changed Original file line number Diff line number Diff line change @@ -158,7 +158,7 @@ export class NativeRepl implements Disposable {
158158 wsMementoUri = wsMemento ? Uri . parse ( wsMemento ) : undefined ;
159159
160160 if ( ! wsMementoUri || getTabNameForUri ( wsMementoUri ) !== 'Python REPL' ) {
161- await this . cleanRepl ( ) ;
161+ await updateWorkspaceStateValue < string | undefined > ( NATIVE_REPL_URI_MEMENTO , undefined ) ;
162162 wsMementoUri = undefined ;
163163 }
164164 }
@@ -184,15 +184,6 @@ export class NativeRepl implements Disposable {
184184 }
185185 }
186186 }
187-
188- /**
189- * Properly clean up notebook document stored inside Native REPL.
190- * Also remove the Native REPL URI from memento to prepare for brand new REPL creation.
191- */
192- private async cleanRepl ( ) : Promise < void > {
193- this . notebookDocument = undefined ;
194- await updateWorkspaceStateValue < string | undefined > ( NATIVE_REPL_URI_MEMENTO , undefined ) ;
195- }
196187}
197188
198189/**
You can’t perform that action at this time.
0 commit comments