diff options
Diffstat (limited to 'common/content/io.js')
-rw-r--r-- | common/content/io.js | 4 |
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", {}); }, |