3 ms·
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 ligatu
by 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.