Some work on zomming in/out around the mouse position in our graph panel plot widget (#241).