waveterm/xterm.js
0
0
Fork 0
mirror of https://github.com/wavetermdev/xterm.js.git synced 2026-08-05 13:43:48 -07:00
Code Issues Packages Projects Releases Wiki Activity

Fix typo

Browse Source
This commit is contained in:
Daniel Imms
2019-03-30 14:59:31 -07:00
parent 636afa11d6
commit bf9d879efa
1 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files
src/ui/MouseZoneManager.ts
+3 -3
View File
@@ -29,7 +29,7 @@ export class MouseZoneManager extends Disposable implements IMouseZoneManager {
private _tooltipTimeout: number = null;
private _currentZone: IMouseZone = null;
private _lastHoverCoords: [number, number] = [null, null];
private _initialSelectionLenght: number;
private _initialSelectionLength: number;
constructor(
private _terminal: ITerminal
@@ -160,7 +160,7 @@ export class MouseZoneManager extends Disposable implements IMouseZoneManager {
private _onMouseDown(e: MouseEvent): void {
// Store current terminal selection length, to check if we're performing
// a selection operation
this._initialSelectionLenght = this._terminal.getSelection().length;
this._initialSelectionLength = this._terminal.getSelection().length;
// Ignore the event if there are no zones active
if (!this._areZonesActive) {
@@ -196,7 +196,7 @@ export class MouseZoneManager extends Disposable implements IMouseZoneManager {
const zone = this._findZoneEventAt(e);
const currentSelectionLength = this._terminal.getSelection().length;
if (zone && currentSelectionLength === this._initialSelectionLenght) {
if (zone && currentSelectionLength === this._initialSelectionLength) {
zone.clickCallback(e);
e.preventDefault();
e.stopImmediatePropagation();