quine-global/hyper
1
0
Fork 0
mirror of https://github.com/quine-global/hyper.git synced 2026-01-13 04:28:41 -09:00
Code Issues Projects Releases Packages Wiki Activity Actions

Path matching selection on dblClick

Browse source
This commit is contained in:
ppot 2016-08-17 21:45:18 -04:00
parent 56f718a0f4
commit ed4a2c66da
2 changed files with 14 additions and 8 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

12
lib/hterm.js
View file

@ -1,17 +1,13 @@
import { hterm, lib } from 'hterm-umdjs';
const selection = require('./utils/selection');
hterm.defaultStorage = new lib.Storage.Memory();
// clear selection range of current selected term view
// Fix event when terminal text is selected and keyboard action is invoked
hterm.Terminal.prototype.clearSelection = function () {
this.document_.getSelection().removeAllRanges();
};
// override double click behavior to copy
const oldMouse = hterm.Terminal.prototype.onMouse_;
hterm.Terminal.prototype.onMouse_ = function (e) {
if ('dblclick' === e.type) {
selection.expand(this);
console.log('[hyperterm+hterm] ignore double click');
return;
}
@ -94,7 +90,7 @@ hterm.Keyboard.prototype.onKeyDown_ = function (e) {
} else {
// Test for valid keys in order to clear the terminal selection
if ((!e.ctrlKey || e.code !== 'ControlLeft') && !e.shiftKey && e.code !== 'CapsLock') {
this.terminal.clearSelection();
selection.clear(this.terminal);
}
}
return oldKeyDown.call(this, e);
@ -105,7 +101,7 @@ hterm.Keyboard.prototype.onKeyPress_ = function (e) {
if (e.metaKey) {
return;
} else {
this.terminal.clearSelection();
selection.clear(this.terminal);
}
return oldKeyPress.call(this, e);
};

10
lib/utils/selection.js Normal file
View file

@ -0,0 +1,10 @@
// clear selection range of current selected term view
// Fix event when terminal text is selected and keyboard action is invoked
exports.clear = function (terminal) {
terminal.document_.getSelection().removeAllRanges();
};
// Use selection expand upon dblclick
exports.expand = function (terminal) {
terminal.screen_.expandSelection(terminal.document_.getSelection());
};