debug: clear repl when there is no session

fixes #65791
pull/65869/head
isidor 2018-12-31 11:38:17 +01:00
parent 93cbbc3eab
commit 637bbbe48d
1 changed files with 3 additions and 0 deletions

View File

@ -214,6 +214,9 @@ export class Repl extends Panel implements IPrivateReplService, IHistoryNavigati
}
this.replInput.updateOptions({ readOnly: this.isReadonly });
if (this.isReadonly) {
this.replInput.setValue('');
}
this.updateInputDecoration();
}