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 #1093

Browse Source
This commit is contained in:
Bruno Ribeito
2017-11-06 21:02:53 +00:00
parent b0020fc0ac
commit 923bb05b8d
1 changed files with 3 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
src/SelectionManager.ts
+3
View File
@@ -541,6 +541,9 @@ export class SelectionManager extends EventEmitter implements ISelectionManager
*/
private _onMouseUp(event: MouseEvent): void {
this._removeMouseDownListeners();
if (this.hasSelection)
this.emit('selectionended');
}
/**