Doesn't pick up my (non ttf) Terminus font and there is no obvious way to set th...

		mnmalst on Aug 20, 2024 \| parent \| context \| favorite \| on: Pragtical: Practical and pragmatic code editor Doesn't pick up my (non ttf) Terminus font and there is no obvious way to set the font manually.