RFR: JDK-8291805: IGV: Improve Zooming [v13]

Tue Sep 27 14:04:07 UTC 2022

On Tue, 27 Sep 2022 13:24:58 GMT, Ludvig Janiuk <lujaniuk at openjdk.org> wrote:

> The latest version feels robust and seems to react to the mouse pointer's location consistently. I still think the "borders" of the map should be widened, but that's outside the scope of this PR.

Thanks for testing! I now increased the border size (`BORDER_SIZE`) from 20px to 100px. And you are right, more complex changes to the size of the plane / layout could be done in another PR :)

-------------

PR: https://git.openjdk.org/jdk/pull/10026