RFR: 7463: JfrEditor instances are kept in memory by NavigationHistory

Wed Dec 1 09:39:58 UTC 2021

On Tue, 30 Nov 2021 18:13:18 GMT, Marcus Hirt <hirt at openjdk.org> wrote:

> Do we want to keep the ability to open on the right page?

Yes, as long as the recording is still open, we navigate back to the specific previous page.
However when it's closed, the navigation can only reopen the recording and land on the default page.

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

PR: https://git.openjdk.java.net/jmc/pull/338