b5f88b1efc
This recently released font has been gaining popularity thanks to its readability and aesthetics. It also features font ligatures (enabled by default, but can be disabled in the Editor Settings). Its character set isn't as extensive as Hack's, but it should be sufficient for most uses. More information at <https://www.jetbrains.com/lp/mono/>. This also reorders the third-party font notices to be in alphabetical order.
199 KiB
199 KiB