Comment by TheCondor
2 years ago
I have a proposal here...
Jetbrains, VSCode people, whomever: edit mode and presentation view. There are times when I think for a lot of people the traditional math style makes sense for reading, but when it comes to editing, it bothers the hell out of me too.
IntelliJ IDEA has this feature: https://www.jetbrains.com/help/idea/reader-mode.html
In addition to ligatures, you get IMO a better version of the "Mix & Match" idea: doc comments are rendered as normal proportional text.