From c3e7dc78b14d78df564fcbbbc4bed3662462c594 Mon Sep 17 00:00:00 2001 From: Jack Ninway Date: Thu, 31 Aug 2023 16:15:55 +0200 Subject: [PATCH] Removed second glyph in auto-complete. --- src/ide.js | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/ide.js b/src/ide.js index 3c854c66..8c543c5c 100644 --- a/src/ide.js +++ b/src/ide.js @@ -621,7 +621,7 @@ D.IDE = function IDE(opts = {}) { `${k.name} (${k.avchar})`, k.helptext.join('\n'), ]; - D.sqglDesc[k.avchar] = `${k.name} (${k.avchar})`; + D.sqglDesc[k.avchar] = k.name; } }); ide.lbarRecreate();