@gruber - I’ve been using that zoom feature for what feels like decades. I use the command key instead since it’s more natural but dozens of times an hour I use it.