summaryrefslogtreecommitdiff
path: root/play.js
diff options
context:
space:
mode:
Diffstat (limited to 'play.js')
-rw-r--r--play.js4
1 files changed, 0 insertions, 4 deletions
diff --git a/play.js b/play.js
index 0d9acc8..29d10e9 100644
--- a/play.js
+++ b/play.js
@@ -998,10 +998,6 @@ function sub_icon(match) {
return ICONS[match] || match
}
-function wrap_icons(match) {
- return `<span class="marginalia">${match.replace("(", "").replace(")", "")}</span>`
-}
-
const ICONS = {
'->': '\u2192',
'.dT5': '<span class="number d_tst">5</span>',