Is there a way to do this? I'm on my laptop for vacation and want to set up my screen optimally for the smaller monitor; at home I play on a 27" 4K display.
I know I can access these functions via the menu Window -> Decrease Tile Height -> Term-foo window. I'd rather edit a config file or something because I need to change several windows and it's rather annoying to have to keep selecting the same menu options over and over knowing that when I get home I'll have to redo all that clicking.
Edit: Playing on Windows 10 Angband 4.1.3 Ok, it wasn't as bad as I thought it would be. Once you understand how the terminal font and tile size options interplay it's not too bad to set up. The real problem is that it is non-intuitive to set up the first time. Changing the font size and then having your font be crowded or spread out is not expected behavior. It would be nice if the terminal font tile size automatically resized to the font size if you change font sizes. For those who wanted to tweak the spacing they could always then manually increase/decrease width and height but I'm guessing for the majority of user if you change font size you'd expect to be able to read it without having to tweak something further
I know I can access these functions via the menu Window -> Decrease Tile Height -> Term-foo window. I'd rather edit a config file or something because I need to change several windows and it's rather annoying to have to keep selecting the same menu options over and over knowing that when I get home I'll have to redo all that clicking.
Edit: Playing on Windows 10 Angband 4.1.3 Ok, it wasn't as bad as I thought it would be. Once you understand how the terminal font and tile size options interplay it's not too bad to set up. The real problem is that it is non-intuitive to set up the first time. Changing the font size and then having your font be crowded or spread out is not expected behavior. It would be nice if the terminal font tile size automatically resized to the font size if you change font sizes. For those who wanted to tweak the spacing they could always then manually increase/decrease width and height but I'm guessing for the majority of user if you change font size you'd expect to be able to read it without having to tweak something further
Comment