Optionally persist font size changes when changed with CTRL+Mousewheel

CTRL+MouseWheel font size changes should optionally persist to profiles.json

I move between monitors a lot and this means I change monitor geometries, resolutions, and pixel pitches frequently. Frequently enough that I need to change the font size in Terminal almost daily, and it would be lovely if my font size changes "stick" for the day. The multiple round trips required to change the font size to get it exactly where I want it via profiles.json is a bit tedious. So, for some, and for me definitely, changes to font size should persist when I use CTRL+MouseWheel.

I know this goes against the folks who want this to never persist, so perhaps a new keyboard shortcut is in order, or perhaps the behavior of CTRL+MouseWheel should be exposed in the keybindings section of profiles.json as a command. An additional command could be created (which persists the font size when you zoom) and could then be chosen by those who want this behavior.

Persisting the font size when it is changed with CTRL+MouseWheel is the behavior in Sublime Text and I've gotten quite used to this over time, and now I miss it (I especially miss it in VScode, but that's another issue.)

Thank you.

Start by reading the profiles.json and keybindings sections referenced in the issue, then trace how CTRL+MouseWheel changes font size. Decide how the behavior should be exposed and verify that the chosen option persists the new font size without changing the default behavior for users who do not enable it.