I am also experiencing this bug on Maverick, now the final release version. The workaround with setting GDK_NATIVE_WINDOWS=1 does not help. However, opening the menu with F10 shows the correct menus.
I am also experiencing this bug on Maverick, now the final release version. The workaround with setting GDK_NATIVE_ WINDOWS= 1 does not help. However, opening the menu with F10 shows the correct menus.