Add option scrollOnKeypress

Note that we also change the existing behavior a bit:
CoreService.triggerDataEvent() will not scroll to the bottom unless
`wasUserInput` is also true. This actually seems to be the intended
behavior according to the doc just above
ICoreService.triggerDataEvent().
This commit is contained in:
Jason Lin
2022-12-06 14:29:18 +11:00
parent ad1f2ac2a8
commit 73d20c1d3b
5 changed files with 11 additions and 3 deletions
+1 -1
View File
@@ -68,7 +68,7 @@ export class CoreService extends Disposable implements ICoreService {
// Input is being sent to the terminal, the terminal should focus the prompt.
const buffer = this._bufferService.buffer;
if (buffer.ybase !== buffer.ydisp) {
if (wasUserInput && this._optionsService.rawOptions.scrollOnKeypress && buffer.ybase !== buffer.ydisp) {
this._scrollToBottom!();
}