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

[Tobias Holenstein]

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)

This pull request has now been integrated.

Changeset: 20123ea4
Author:    Tobias Holenstein <tholenstein at openjdk.org>
URL:       https://git.openjdk.org/jdk/commit/20123ea4de702ccbaf4c500ff7a1000ca7ee9c90
Stats:     6 lines in 1 file changed: 6 ins; 0 del; 0 mod

8291901: IGV: Preference menu disappears after JDK-8288750

Reviewed-by: rcastanedalo, thartmann

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

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