RFR: JDK-8291901: IGV: Preference menu disappears after JDK-8288750

Fri Aug 5 10:21:54 UTC 2022

On Fri, 5 Aug 2022 09:40:43 GMT, Tobias Holenstein <tholenstein at openjdk.org> wrote:

> The `Options` menu is places by default in `Tools` in the menu bar. On macOS however the `Options` menu (called `Preference` on macOS) is placed in the macOS default application menu (`idealgraphvisualizer`) the options bar. Because the `Tools` menu was always empty on macOS it was removed in `JDK-8288750`. Unfortunately, this made the `Options` menu inaccessible on Linux. 
> 
> 
> The problem is solved by putting the `Options` menu in a separate tab in the menu bar and keeping the `Tools` menu hidden:
> ![Options menu](https://user-images.githubusercontent.com/71546117/183050335-7523708a-6137-40dc-bc74-d89f3bf1fba1.png)

Thanks for fixing this @tobiasholenstein!

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

Marked as reviewed by rcastanedalo (Reviewer).

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