You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Whenever i read other people's code and there is some unicode character that i want to know how to type it, i just copy and paste it in the REPL help mode. For example, if i want to know how to type the ⬲ character:
help?> ⬲
"⬲" can be typed by \leftarrowonoplus<tab>
I think it would be useful to see this information when hovering over an unicode character instead of going in the process of copying the character → opening the REPL → typing ? → pasting the character → pressing enter.
jacobusmmsmit, PetrKryslUCSD, dlakelan, liuyxpp, tshort and 2 more