The fix wasn't released yet, but once it's in, it'll fix the gnome-terminal setting under Edit -> Keyboard Shortcuts... -> Enable menu access keys.
The fix wasn't released yet, but once it's in, it'll fix the gnome-terminal setting under Edit -> Keyboard Shortcuts... -> Enable menu access keys.