From c1a76a0e4e8bebe3823a625a357e73a3d666bcbd Mon Sep 17 00:00:00 2001
From: Timotej Lazar <timotej.lazar@fri.uni-lj.si>
Date: Sat, 10 Oct 2015 17:33:17 +0200
Subject: Console: do not add empty lines to history

---
 js/codeq/console.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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);
                                             }
-- 
cgit v1.2.1