4 ms·

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 traditio

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.

csande17 3y ago
IntelliJ IDEA has this feature: https://www.jetbrains.com/help/idea/reader-mode.html 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.