search

zyedidia / micro

A modern and intuitive terminal-based text editor
https://micro-editor.github.io
MIT License
24.85k stars 1.17k forks source link

Shortcuts to type unicode #1403

Open matbesancon opened 4 years ago

matbesancon commented 4 years ago

In some programming languages and some lines of work, I am used to typing a lot of unicode characters. In the Julia REPL, the workflow is:

\mu<TAB> => µ
\sigma<TAB> => σ
etc...

This might slow down an editor too much to constantly watch for signals, but would this be reasonable as a plugin?

For reference, an equivalent in Atom is developed here: https://github.com/JunoLab/atom-latex-completions

czylabsonasa commented 3 years ago

The jlabbrev plugin from https://micro-editor.github.io/plugins.html is our friend.