summaryrefslogtreecommitdiff
path: root/js/codeq/console.js
diff options
context:
space:
mode:
authorTimotej Lazar <timotej.lazar@araneo.org>2015-09-03 12:07:41 +0200
committerTimotej Lazar <timotej.lazar@araneo.org>2015-09-03 12:16:09 +0200
commit48c5373668c8659f05daad1f96287684f0bb574a (patch)
treead1200e9fad63c8c565c7a04bb7d6a434c03d0b6 /js/codeq/console.js
parenteec09515c27bb71c10255f35c4b7c1c65148216c (diff)
Fix scrolling and line-breaking in CodeQ console
Diffstat (limited to 'js/codeq/console.js')
-rw-r--r--js/codeq/console.js11
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
+})();