Fixed in master now. Thanks for pointing that out.
On Friday, January 9, 2015 at 2:22:46 AM UTC-8, Nils Gudat wrote: > > That's a nice feature to know about, but it seems to suffer from the > problem that it doesn't scale with the rest of the graph if one uses the > zoom functionality (i.e. the circles don't stay in position relative to the > graph if you change the display of the graph). >
