<ahesford>
I don't think most people tend to resize terminal fonts all that much
<j`ey>
I'm a bit of a resizer
<ifreund>
you don't even need too separate configs, just override the font size with the --font flag for additional, special purpose keybindings
<ahesford>
if there's any need for different "font sets", it would seem better togeneralize all font loading to select from an arbitrary list of font configs and then add an action to cycle through them, rather than special-casing five magic "presets"
dutchie_ is now known as dutchie
alexherbo2 has joined #foot
alexherbo2 has quit [Remote host closed the connection]
alexherbo2 has joined #foot
alexherbo2 has quit [Remote host closed the connection]
ttyyls has joined #foot
alexherbo2 has joined #foot
h-erectus has joined #foot
h-erectus has quit [Ping timeout: 255 seconds]
alexherbo2 has quit [Remote host closed the connection]