241
242
private _handleCommandExecuted() {
244
return;
245
}
247
>
this._cursorIndex = -1;
248
>
249
>
// Remove any ghost text from the input if it exists on execute
250
>
if (this._ghostTextIndex !== -1) {
251
this._value = this._value.substring(0, this._ghostTextIndex);
252
this._ghostTextIndex = -1;
253
}
255
>
const event = this._createStateObject();
256
>
if (this._lastUserInput === '\u0003') {
257
this._lastUserInput = '';
258
this._onDidInterrupt.fire(event);
259
}
261
>
this._state = PromptInputState.Execute;
262
>
this._onDidFinishInput.fire(event);
263
>
this._onDidChangeInput.fire(event);
264
>
}
265
266
private _handleCommandFinished() {