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 issue with trimming whitespace

Browse Source
This commit is contained in:
Daniel Imms
2017-06-01 17:04:59 -07:00
parent 11cec31da6
commit a53a0acd65
1 changed files with 4 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files
src/SelectionManager.ts
+4 -3
View File
@@ -63,7 +63,6 @@ export class SelectionManager extends EventEmitter {
private _terminal: ITerminal,
private _buffer: CircularList<any>,
private _rowContainer: HTMLElement,
private _selectionContainer: HTMLElement,
private _charMeasure: CharMeasure
) {
super();
@@ -159,7 +158,9 @@ export class SelectionManager extends EventEmitter {
let finalEndCol = widthAdjustedEndCol || line.length
if (trimRight) {
const rightWhitespaceIndex = lineString.search(/\s+$/);
finalEndCol = Math.min(finalEndCol, rightWhitespaceIndex);
if (rightWhitespaceIndex !== -1) {
finalEndCol = Math.min(finalEndCol, rightWhitespaceIndex);
}
// Return the empty string if only trimmed whitespace is selected
if (finalEndCol <= widthAdjustedStartCol) {
return '';
@@ -368,7 +369,7 @@ export class SelectionManager extends EventEmitter {
* non-whitespace characters.
* @param coords The coordinates to get the word at.
*/
private _selectWordAt(coords: [number, number]): void {
protected _selectWordAt(coords: [number, number]): void {
// TODO: Only fetch buffer line once for translate and convert functions
const bufferLine = this._buffer.get(coords[1]);
const line = this._translateBufferLineToString(bufferLine, false);