summaryrefslogtreecommitdiff
path: root/common/content/io.js
diff options
context:
space:
mode:
authorKris Maglione <maglione.k@gmail.com>2008-12-06 18:10:22 -0500
committerKris Maglione <maglione.k@gmail.com>2008-12-06 18:10:22 -0500
commit183b48afa1dea2f10aa3e27e4fdd95094f9a6515 (patch)
tree6e28ce72e6f6cc8fa21a248a62f9151fa8ab031a /common/content/io.js
parent138d8ec8c7c58f9c3adc5681e5581ce7e8739101 (diff)
downloadpentadactyl-183b48afa1dea2f10aa3e27e4fdd95094f9a6515.tar.gz
Cleanup ui.js history searching. Fix white-space in :echo/! output.
Diffstat (limited to 'common/content/io.js')
-rw-r--r--common/content/io.js4
1 files changed, 1 insertions, 3 deletions
diff --git a/common/content/io.js b/common/content/io.js
index fd9c3857..329bc6f1 100644
--- a/common/content/io.js
+++ b/common/content/io.js
@@ -373,10 +373,8 @@ function IO() //{{{
lastRunCommand = args;
let output = io.system(args);
- let command = ":" + util.escapeHTML(commandline.getCommand()) + "<br/>";
- liberator.echo(template.generic(<span style="white-space: pre">{output}</span>))
- liberator.echo(command + util.escapeHTML(output));
+ commandline.echo(template.generic(<span highlight="CmdOutput">{output}</span>));
autocommands.trigger("ShellCmdPost", {});
},