Pour les polices proportionnelles, comme j'utilise vim, je laisse mon terminal s'en occuper (^+ ou ^- dans konsole, qui fait ça vraiment bien sans se fâcher).
Quant à abandonner les polices à chasses fixes, on n'y songe pas : changer la police partout, n'avoir de justesse nulle part, et pourquoi pas créer des variables de classe tant que tu y es ? Je laisse les systèmes de mise en page s'occuper de la police (*TeX).
[^] # Re: Et sinon, ça sert à quoi pyroom ?
Posté par feth . En réponse au journal Python çaymal. Évalué à 2.
Quant à abandonner les polices à chasses fixes, on n'y songe pas : changer la police partout, n'avoir de justesse nulle part, et pourquoi pas créer des variables de classe tant que tu y es ? Je laisse les systèmes de mise en page s'occuper de la police (*TeX).