gnome-terminal in F21 has no TAB feature

[Andre Robatino]

Michael Catanzaro <mcatanzaro <at> gnome.org> writes:

> I agree. Secret buttons not affect the behavior of menu items. If you
> have time, you could file a bug for this upstream and see where it
> goes....

I commented at https://bugzilla.gnome.org/show_bug.cgi?id=543996#c9 .

> It looks like https://bugzilla.gnome.org/show_bug.cgi?id=732022 already
> exits for the missing hotkeys; their removal wasn't intentional.

That's something, anyway. Unfortunately new users will still have no easy
way to learn about the hotkeys for the non-default option, or even that that
option exists.