Re #8911. Added zooming tools.