Backup_Repos/jsketcher
1
0
Fork 0
mirror of https://github.com/xibyte/jsketcher synced 2025-12-09 18:02:50 +01:00
Code Issues Projects Releases Wiki Activity

make text selectable from terminal

Browse source
This commit is contained in:
Val Erastov 2016-11-25 01:35:39 -08:00
parent 0985b60702
commit 456d67c537
1 changed files with 21 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

24
web/app/ui/terminal.js
View file

@ -2,11 +2,13 @@ export function Terminal(win, commandProcessor, variantsSupplier) {
this.win = win;
this.out = win.root.find('.terminal-output');
const input = win.root.find('.terminal-input input');
this.input = input;
win.onShowCallback = function() {
input.focus();
};
win.root.click(() => input.focus());
this.makeAlwaysFocusable();
this.history = [];
this.historyPointer = 0;
const setHistory = () => {
@ -77,12 +79,28 @@ export function Terminal(win, commandProcessor, variantsSupplier) {
});
}
Terminal.prototype.makeAlwaysFocusable = function() {
let wasMove = false;
this.win.root.mousedown(() => {
wasMove = false;
return true;
});
this.win.root.mousemove(() => {
wasMove = true;
return true;
});
this.win.root.mouseup(() => {
if (!wasMove) this.input.focus();
return true;
});
};
Terminal.prototype.scrollToTheEnd = function() {
this.out.parent().scrollTop(this.out.height());
};
Terminal.prototype.print = function(text) {
this.win.root.find('.terminal-output').append($('<div>', {text, 'class': 'terminal-commandResult'}));
this.out.append($('<div>', {text, 'class': 'terminal-commandResult'}));
this.scrollToTheEnd();
};