diff options
author | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2015-10-10 17:33:17 +0200 |
---|---|---|
committer | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2015-10-10 17:33:17 +0200 |
commit | c1a76a0e4e8bebe3823a625a357e73a3d666bcbd (patch) | |
tree | edaceab36295999889ae14890fe5aea78ca5a704 | |
parent | 1a8bfad8447f14f037239fadec6469f656757075 (diff) |
Console: do not add empty lines to history
-rw-r--r-- | js/codeq/console.js | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/js/codeq/console.js b/js/codeq/console.js index 0000f9e..cee3aac 100644 --- a/js/codeq/console.js +++ b/js/codeq/console.js @@ -839,7 +839,7 @@ // in line-buffered mode emit each line separately, except for the last (current) line try { line = lines[thisRow].content.substring(leftmost); - if (autoHistory) handler.addHistory(line); // auto-history works only in line-buffered mode + if (autoHistory && line) handler.addHistory(line); // auto-history works only in line-buffered mode handler.resetCurrentHistory(); return handler.onInput(line); } |