Zoom with ctrl+mousewheel (feature request)

(Duplicating my reply from the related thread, for completeness.)

It seems more unusual to need to change font sizes on-the-fly in a file manager where you can choose the size of most elements (vs a web browser where different sites can use vastly different font sizes which you sometimes need to override), but it's something we'll we might do if a few more people ask.