From c72b0179f2a8eb9d64da2d072fa1554609afea2b Mon Sep 17 00:00:00 2001 From: Val Erastov Date: Wed, 24 Feb 2016 23:08:36 -0800 Subject: [PATCH] tweak terminal style --- web/app/ui.js | 7 +++++-- web/sketcher.html | 2 +- 2 files changed, 6 insertions(+), 3 deletions(-) diff --git a/web/app/ui.js b/web/app/ui.js index df36f89e..8de5a53e 100644 --- a/web/app/ui.js +++ b/web/app/ui.js @@ -394,8 +394,11 @@ TCAD.ui.Terminal = function(win, commandProcessor) { var out = win.root.find('.terminal-output'); input.val(''); out.append($('
', {text: '> '+command, class: 'terminal-commandText'})); - var result = commandProcessor(command); - out.append($('
', {text: result, class: 'terminal-commandResult'})); + if (command != null && command.trim().length != 0) { + var result = commandProcessor(command); + out.append($('
', {text: result, class: 'terminal-commandResult'})); + } + out.scrollTop(out.height()); } }); }; \ No newline at end of file diff --git a/web/sketcher.html b/web/sketcher.html index 7b2ac962..c2fa7aa6 100644 --- a/web/sketcher.html +++ b/web/sketcher.html @@ -123,10 +123,10 @@