diff options
author | Timotej Lazar <timotej.lazar@araneo.org> | 2015-09-03 12:07:41 +0200 |
---|---|---|
committer | Timotej Lazar <timotej.lazar@araneo.org> | 2015-09-03 12:16:09 +0200 |
commit | 48c5373668c8659f05daad1f96287684f0bb574a (patch) | |
tree | ad1200e9fad63c8c565c7a04bb7d6a434c03d0b6 /js/codeq | |
parent | eec09515c27bb71c10255f35c4b7c1c65148216c (diff) |
Fix scrolling and line-breaking in CodeQ console
Diffstat (limited to 'js/codeq')
-rw-r--r-- | js/codeq/console.js | 11 |
1 files changed, 8 insertions, 3 deletions
diff --git a/js/codeq/console.js b/js/codeq/console.js index 023fcc1..ddf4ce6 100644 --- a/js/codeq/console.js +++ b/js/codeq/console.js @@ -550,7 +550,7 @@ handleInput = function (chars) { var cookedChars = chars, // default startingRow = currentRow, - endingRow, i; + dh, i; if (inputDisabled) { // flatly ignore @@ -580,7 +580,7 @@ if (lineBuffered) { if (currentRow !== startingRow) { // in line-buffered mode emit each line separately, except for the last (current) line - for (i = startingRow; i < endingRow; i++) { + for (i = startingRow; i < lines.length; i++) { try { handler.onInput(lines[i].content); } @@ -601,6 +601,11 @@ } clipboardPasteInProgress = false; + + // scroll to bottom on input + dh = jqContent.height() - jqElt.height(); + if (dh > 0) + jqElt.scrollTop(dh); }, clipboardPasteInProgress = false, // whether the previous keydown was a CTRL+V or shift+insert @@ -713,4 +718,4 @@ return handler; }; -})();
\ No newline at end of file +})(); |