egui now supports smooth scrolling, but when using the mouse wheel to zoom, it is still non-smooth.