← Back to context

Comment by pyrale

19 days ago

Hate the font, love the editor.

edit: tried to type "à", and the letter is not recognized in the font (appears in red in the editor).

Would there be a way to tell the editor that "à" = "a" + "`", rather than retyping the symbol from scratch?

edit2 : Having to remove all the [2..n] points if you want to change the second point you made is also a bit of a pain, especially for people like me with little experience of where the points end up being on the line vertically.

I want to create a GenAI fork of this where you do one character and it tries to mimic the style for all of the others.