Convert -> into an arrow
thegrasshopper104 opened this issue · comments
A tiny feature that I like in other editors is that they auto insert a prettified → when you type ->.
I guess very low priority, though.
This is something I'm working on! Stay tuned!