Don't flag user scrolling if no scrolling happens

This commit is contained in:
Daniel Imms
2017-05-25 09:51:13 -07:00
parent 0dc3dd0336
commit b3b2bd1faf
2 changed files with 4 additions and 0 deletions
+1
View File
@@ -238,6 +238,7 @@ export class SelectionManager extends EventEmitter {
* @param event The mouseup event.
*/
private _onMouseUp(event: MouseEvent) {
this._dragScrollAmount = 0;
if (!this._selectionStart) {
return;
}
+3
View File
@@ -1178,6 +1178,9 @@ Terminal.prototype.scroll = function() {
*/
Terminal.prototype.scrollDisp = function(disp, suppressScrollEvent) {
if (disp < 0) {
if (this.ydisp === 0) {
return;
}
this.userScrolling = true;
} else if (disp + this.ydisp >= this.ybase) {
this.userScrolling = false;