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

Hacker News new | past | comments | ask | show | jobs | submit

login

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.

Join us for AI Startup School this June 16-17 in San Francisco!
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact