Mandelbrot: mouse wheel zooming.

Fixes #9533.
DiskProbe: style fixes...