From f3d45a1ca914d59968531a6d5c409d80b73e53c3 Mon Sep 17 00:00:00 2001 From: razetime Date: Thu, 20 Jan 2022 11:57:50 +0530 Subject: complete REPL help for symbols --- docs/repl.js | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'docs/repl.js') diff --git a/docs/repl.js b/docs/repl.js index cf7a9071..fc097829 100644 --- a/docs/repl.js +++ b/docs/repl.js @@ -129,7 +129,7 @@ let setPrefix = () => { let c = Array.from(d)[1]; let t = d.slice(1+c.length).replace(';','\n'); let k = revkeys[c]; if (k) t += '\n'+prefix+(k==='"'?'"':k); - x.hashelp = i < 64; + x.hashelp = i < 64; // comment out after patch for double struck x.title = primhelp[c] = t; }); } -- cgit v1.2.3