search

hhu-stups / camille

(READ ONLY MIRROR) The Camille Editor for Rodin
https://gitlab.cs.uni-duesseldorf.de/general/stups/camille
1 stars 1 forks source link

Disabling replacement of ASCII symbols #25

Open evertheylen opened 6 years ago

evertheylen commented 6 years ago

I'd like to disable the replacement of ASCII symbols like |> to the Unicode version ▷. I personally strongly dislike an editor replacing my text.

As a sidenote, while I would be perfecly happy using the ASCII symbols as they are, I think a better approach here would be to use a font like Fira Code.