Fixes #11669 - Adds smooth modal scrolling on iOS by default

I think it is worth the tradeoff. Still to be done would be to create a user-changeable variable that turns this on and off like @mmilo suggested.