I bought it a couple years ago too and use it in most of my editors and consoles...

		yardshop on July 9, 2022 \| parent \| context \| favorite \| on: Programming Fonts I bought it a couple years ago too and use it in most of my editors and consoles. It's very comforting!