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

[Tobias Holenstein]

On Fri, 5 Aug 2022 10:19:12 GMT, Roberto Castañeda Lozano <rcastanedalo 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!

Thanks @robcasloz and @TobiHartmann for the reviews!

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

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