On Sun, 19 Jan 2020 21:09:38 GMT, Miroslav Wengner <mwengner at openjdk.org> wrote: >> "Also lowering the animation time for animations, since they are annoyingly slow now." >> Yes, thought I might as well, since it's such a small change. > > it makes sense it makes sense ------------- PR: https://git.openjdk.java.net/jmc/pull/36