Gabriel Ozouf c89a7bc496 [graph] Take margins into account for normalization ...

When building an orthonormal range for the automatic zoom, we provide a
ratio for the screen without the margins. This way, adding the margins
will make the graph orthonormal, and the banner cannot cover the
function.

Change-Id: If3a3f799d4e7e3e81ab77c6b418d70b734a6fbca

2020-12-07 15:58:56 +01:00

4.1 KiB

Raw Permalink Blame History

View Raw