Rolled-out center on mouse pointer when zooming with scroll-wheel: problems with trackpad based wheel events (e.g. on mac computers).
Force update of tree-view when adding or deleting a figure.