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

Merge pull request #41 from sourcelair/fix/firefox-selection

Browse Source 
Fixed selection in firefox
This commit is contained in:
Thanasis Daglis
2015-11-04 11:45:09 +02:00
parent 85733fea56 f53f5735e1
commit 01e9524098
1 changed files with 4 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
src/xterm.js
+4 -2
View File
@@ -584,8 +584,10 @@
this.startBlink();
on(this.element, 'mouseup', function() {
var selection = document.getSelection();
if (selection.type != 'Range') {
var selection = document.getSelection(),
collapsed = selection.isCollapsed,
isRange = typeof collapsed == 'boolean' ? !collapsed : selection.type == 'Range';
if (!isRange) {
self.focus();
}
});