diff options
author | Tor Andersson <tor@ccxvii.net> | 2024-11-14 23:27:05 +0100 |
---|---|---|
committer | Tor Andersson <tor@ccxvii.net> | 2024-11-14 23:27:05 +0100 |
commit | ad88bc773de23e27f42690190b3d2ef277c816b1 (patch) | |
tree | b50889623c13e6abe48825152023a4381b13831c /play.js | |
parent | ec832e3278210f645b2a08f2f70e17fb032417c3 (diff) | |
download | maria-ad88bc773de23e27f42690190b3d2ef277c816b1.tar.gz |
Change hyphen-minus into mathematical minus in client.
Diffstat (limited to 'play.js')
-rw-r--r-- | play.js | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -1347,6 +1347,7 @@ function colorize(text) { text = text.replaceAll("\u2663", colorize_C) text = text.replaceAll("\u2665", colorize_H) text = text.replaceAll("\u2666", colorize_D) + text = text.replace(/-( ?[\d(])/g, "\u2212$1") return text } @@ -1709,6 +1710,7 @@ function on_log(text) { text = text.replace(/S(\d+)/g, sub_space) text = text.replace(/P(\d+)/g, sub_piece) text = text.replace(/C(\d+)/g, sub_political) + text = text.replace(/-( ?[\d(])/g, "\u2212$1") if (text.startsWith("@")) { p.className = "move_tip" |