Several of the backends to Plots.jl provide interactive pan & zoom. However (as far as I can tell) they only work with the original figure data, so the figure looks pixelized and ugly when zoomed in sufficiently. Is there any backend that allows a callback function to refresh the figure using the zoomed axes so that everything still looks pretty when zoomed?
If this is impossible with Plots.jl, is there another way to do it? I don’t need advanced chart types, just scatter plots and heatmaps.