|
|
|
|
|
by hprotagonist
2000 days ago
|
|
monospace source text: two spaces. WYSIWYG or compiled final output: the layout engine knows how to adjust keming better than i do, and will strip out or adjust space distances to look “right” no matter how many spaces I type. So i might as well type two and maintain hand memory consistency. So as far as i’m concerned, it’s a no-op in practice. For myself i learned two-space long ago, my hands are unlikely to retrain themselves to type otherwise, and it’s probably a slight legibility help in docstrings and latex source. edit: as i edit this on my phone i realize that one place this doesn’t work is on an on-screen keyboard. There, typing the second space too quickly usually inserts another period! |
|
Double-space into period is a customizable feature of on-screen keyboards (at least Gboard).