support Unicode 17 via utf8proc 2.11.0#59534
Conversation
|
I suggest updating Edit: And update |
|
Okay, I bumped |
e1fcdaa to
5b4b58c
Compare
|
For what it's worth – this looks good. |
Doesn't seem to be true anymore: 𐞥 (this was mentioned at stevengj/subsuper-proposal#10 (comment)). You can refer to the subscript version though. |
|
That's strange, I can do julia> '𐞥'
'𐞥': Unicode U+107A5 (category Lm: Letter, modifier)but |
|
Oh, did they actually add a superscript "q" in Unicode 14? https://codepoints.net/U+107A5?lang=en … it doesn't seem to be supported in any fonts on my system? In any case, tab completions for new characters aren't added automatically … they have to be added manually. |
It's in JuliaMono v0.061 (but I can't remember when I added it, sorry :)).
|
|
Since merged (and relatively simple change?) can this PR and subscript q be (when it merged, even simpler) backported to 1.12.x? Even 1.12.0? |
|
No. Changing the Unicode version is not a bugfix and shouldn't be backported, IMO. If superscript "q" (U+107A5) was added in Unicode 14, then that has been supported since Julia 1.8. You can easily add the tab completion yourself right now: import REPL
REPL.REPLCompletions.latex_symbols["\\^q"] = "\U107A5" |

Similar to #56925, support Unicode 17 by bumping utf8proc to 2.11.0 (thanks to JuliaStrings/utf8proc#301 by @eschnett).
This allows us to use 10 exciting new emoji characters as identifiers, including "treasure chest"

"\U1FA8E"(but still no superscript "q").