Whatever the reason behind, the basic standard is 8 characters. 4-character width seems like a pre-HD pre-widescreen hack to make better use of screen real estate. Which we have plenty of now, besides wider aspect ratio. A bit more horizontal separation actually looks good/can be useful on HiDPI screens, so punched cards' standards might not be completely obsolete :).
-- Reply to this email directly or view it on GitHub: https://github.com/geany/geany/issues/3790#issuecomment-2010518607 You are receiving this because you are subscribed to this thread. Message ID: <geany/geany/issues/3790/[email protected]>
