Widget Magnifier

Especially when dragging markers across an image, it’s quite common to show a magnifier that …