Ask HN: Anyone using proportional fonts for coding?

Re:Ask HN: Anyone using proportional fonts for coding? by Kwpolska on Sunday July 30, 2023 @04:52AM (#36929238)

Those diagrams might look nice, but are hard to edit (for your average user without a CJK input method) and hard to copy things from (you can't get the string /dev/hda5 from your example, you'll get something Linux won't do anything meaningful with.)

[ Parent | on HN ]

Re:Ask HN: Anyone using proportional fonts for coding? by rhn_mk1 on Sunday July 30, 2023 @10:12AM (#36931306)

I don't think diagrams are meant to be copy-pasted from a lot, so I'm not worried about that.

For editing, I'd just use a conversion tool, and edit it in a fixed-width editor rather than directly in code. Yes, it's an extra tool, but I don't think it's that outlandish to edit pictures in a tool for editing pictures.

[ Parent | on HN ]

Re:Ask HN: Anyone using proportional fonts for coding? by hollerith on Monday July 31, 2023 @01:32PM (#36946042)

My experience is that I get annoyed when text isn't copyable whether or not someone means for it to be copyable.

[ Parent | on HN ]