It's September 23, 2022 as I write this and I have had ZERO luck using the Settings search box to find where on God's green Earth within the deep dark underworld of WebStorm 2022.2 they have hidden (or removed?) the ability to set a tiny little checkbox that says the mouse wheel can be used to dynamically enlarge/diminish the font size of the current window. Years (maybe a decade?) ago, this was dirt simple to find and dirt simple to set. Now, it seems, it is either completely gone or so well hidden only the people who work at JetBrains can find it.