consider using Zed Mono as the new font https://github.com/zed-industries/zed-fonts there are some minor issues with it but it's a very good font https://github.com/zed-industries/zed-fonts/issues/24
consider using Zed Mono as the new font
https://github.com/zed-industries/zed-fonts
there are some minor issues with it but it's a very good font zed-industries/zed-fonts#24