IntelliJ IDEA has this feature: https://www.jetbrains.com/help/idea/reader-mode....

		csande17 on Nov 9, 2023 \| parent \| context \| favorite \| on: Monaspace 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.