Gabriel Ozouf e9c953fd6e [shared/interact_curve_view_range] Check orthonormality after zoom ...

Zooming in and out on a graph usually preserves orthonormality. However,
if the window has its bounds close to the limits for the values on the
axes, zooming can change the ratio.

2020-12-22 17:22:33 +01:00

11 KiB

Raw Blame History

View Raw