Je cherche un terminal et/ou un éditeur qui adapte la taille de sa police au nombre de colonnes, au lieu du contraire. En effet, j'utilise un gestionnaire de fenêtre pavant (tiling) donc la taille de mes fenêtres dépend de combien sont ouvertes, et je préfère avoir une plus grosse police qu'un nombre de colonnes absurde.

En attendant mieux, j'ai bricolé un truc vite fait en utilisant le fait que rxvt est scriptable en perl: à chaque redimensionnement, on choisit une (…)