Fix symbol name in history

Commit 75cfe801 broke the display of the symbols in the history. This patch fixes that.

diff --git a/interface/js/app/history.js b/interface/js/app/history.js
index d6952127fbb790b8f2bc2cec65e8d661d1c63562..b13b3007b55131965333994c7778e5517a961604 100644 (file)
--- a/interface/js/app/history.js
+++ b/interface/js/app/history.js
@@ -64,7 +64,7 @@ function($, _, Humanize) {
                     Object.keys(item.symbols).map(function(key) {
                         var sym = item.symbols[key];
 
-                        sym.name = EscapeHTML(sym.name);
+                        sym.name = EscapeHTML(key);
                         sym.description = EscapeHTML(sym.description);
 
                         if (sym.options) {