09:19 <haasn> j`ey: oh, perfect!

09:19 <haasn> this is undocumented in `man 5 foot.ini`

09:19 <haasn> can't even find this option at all

09:19 <haasn> where did you find it?

09:21 <j`ey> haasn: are you on a very old version? it's in the man page here https://man.archlinux.org/man/foot.ini.5.en

09:21 <haasn> foot version: 1.16.2 -pgo +ime +graphemes -assertions

09:22 <j`ey> weird

09:26 <j`ey> it's also in the default foot.ini

10:32 <narodnik> i just wish foot allowed preset zoom levels

10:34 <narodnik> https://codeberg.org/dnkl/foot/issues/1563

10:42 <ahesford> sounds like a workflow problem

10:43 <ahesford> maintain two separate configs

10:43 <ahesford> add a hotmey to launch what you need

10:43 <ahesford> hotkey*

10:44 <ahesford> I don't think most people tend to resize terminal fonts all that much

10:44 <j`ey> I'm a bit of a resizer

10:45 <ifreund> you don't even need too separate configs, just override the font size with the --font flag for additional, special purpose keybindings

10:57 <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"