Complete multi-character emojis 🛰️#60263
Conversation
stdlib/REPL/src/emoji_symbols.jl
Outdated
| "\\:arrow_right_hook:" => "↪", | ||
| "\\:arrow_up:" => "⬆", | ||
| "\\:arrow_up_down:" => "↕", | ||
| "\\:arrow_forward:" => "▶️", |
There was a problem hiding this comment.
Are we sure that we want the emoji rendering variant of these? I feel like for source code, the text rendering might be better.
There was a problem hiding this comment.
I updated the generation to prefer the older version if the completion contains "arrow".
There was a problem hiding this comment.
personally, I think it's clearer if we keep the \:name: syntax to mean the emoji version, and add a latex name like \bkuparrow(upwards black arrow) for the text version. that way it's more consistent
edit: actually we call the semantically very similar upwards white arrow \upwhitearrow, so these should be converted to variations on \upblackarrow.
|
@Keno Can you give this another review? |
|
Friendly ping. Let me know if new versions of other emoji patterns are not preferred. |
|
Bump @Keno - could you give this another review? |
DilumAluthge
added
status: waiting for PR reviewer
and removed
status: waiting for PR author
labels
6 participants
No description provided.