Merge remote-tracking branch 'bot/construct-modes'

2023-10-06 02:49:42 +08:00
parent 120dc453d7 03a2e9356c
commit 73480d4a53
23 changed files with 562 additions and 198 deletions
--- a/parts/language/lang_symbol.lua
+++ b/parts/language/lang_symbol.lua
@@ -41,6 +41,7 @@ return {
    infHeightOn="∞↑ "..CHAR.icon.checkMark,
    infHeightOff="∞↑ "..CHAR.icon.crossMark,
    infHeightHint=CHAR.icon.checkMark.."/"..CHAR.icon.crossMark..": F₁",
+    highestGrade="(↑: $1)",

    win=": )",
    lose=": (",