Skip to content

Commit

Permalink
Merge pull request #810 from Tyriar/809_onSingleClick_null_check
Browse files Browse the repository at this point in the history
Make SelectionManager more resilient
  • Loading branch information
Tyriar committed Jul 21, 2017
2 parents 739bd05 + bbb5daa commit 2e9177a
Show file tree
Hide file tree
Showing 2 changed files with 34 additions and 8 deletions.
34 changes: 26 additions & 8 deletions src/SelectionManager.ts
Original file line number Diff line number Diff line change
Expand Up @@ -277,6 +277,10 @@ export class SelectionManager extends EventEmitter {
*/
private _getMouseBufferCoords(event: MouseEvent): [number, number] {
const coords = Mouse.getCoords(event, this._rowContainer, this._charMeasure, this._terminal.cols, this._terminal.rows, true);
if (!coords) {
return null;
}

// Convert to 0-based
coords[0]--;
coords[1]--;
Expand Down Expand Up @@ -377,15 +381,25 @@ export class SelectionManager extends EventEmitter {
this._model.selectionStartLength = 0;
this._model.isSelectAllActive = false;
this._activeSelectionMode = SelectionMode.NORMAL;

// Initialize the new selection
this._model.selectionStart = this._getMouseBufferCoords(event);
if (this._model.selectionStart) {
this._model.selectionEnd = null;
// If the mouse is over the second half of a wide character, adjust the
// selection to cover the whole character
const char = this._buffer.get(this._model.selectionStart[1])[this._model.selectionStart[0]];
if (char[LINE_DATA_WIDTH_INDEX] === 0) {
this._model.selectionStart[0]++;
}
if (!this._model.selectionStart) {
return;
}
this._model.selectionEnd = null;

// Ensure the line exists
const line = this._buffer.get(this._model.selectionStart[1]);
if (!line) {
return;
}

// If the mouse is over the second half of a wide character, adjust the
// selection to cover the whole character
const char = line[this._model.selectionStart[0]];
if (char[LINE_DATA_WIDTH_INDEX] === 0) {
this._model.selectionStart[0]++;
}
}

Expand Down Expand Up @@ -426,6 +440,10 @@ export class SelectionManager extends EventEmitter {

// Set the initial selection end based on the mouse coordinates
this._model.selectionEnd = this._getMouseBufferCoords(event);
if (!this._model.selectionEnd) {
this.refresh(true);
return;
}

// Select the entire line if line select mode is active.
if (this._activeSelectionMode === SelectionMode.LINE) {
Expand Down
8 changes: 8 additions & 0 deletions src/utils/Mouse.ts
Original file line number Diff line number Diff line change
Expand Up @@ -37,7 +37,15 @@ export function getCoordsRelativeToElement(event: MouseEvent, element: HTMLEleme
* select that cell and the right half will select the next cell.
*/
export function getCoords(event: MouseEvent, rowContainer: HTMLElement, charMeasure: CharMeasure, colCount: number, rowCount: number, isSelection?: boolean): [number, number] {
// Coordinates cannot be measured if charMeasure has not been initialized
if (!charMeasure.width || !charMeasure.height) {
return null;
}

const coords = getCoordsRelativeToElement(event, rowContainer);
if (!coords) {
return null;
}

// Convert to cols/rows.
coords[0] = Math.ceil((coords[0] + (isSelection ? charMeasure.width / 2 : 0)) / charMeasure.width);
Expand Down

0 comments on commit 2e9177a

Please sign in to comment.