Ubuntu
gnome-terminal package

Shortcut for "Hide and Show Menubar" does not work

Bug #1791967 reported by Yuyan Li
12
This bug affects 2 people
Affects Status Importance Assigned to Milestone
gnome-terminal (Ubuntu)
Fix Committed
Low
Unassigned

Bug Description

The shortcut "Hide and Show Menubar" set in the Preferences->Shortcuts does not work regardless what it is set to. Not even the default F10.

Hiding and showing the menubar through the context menu works properly.

Other shortcuts work and can be changed without problems.

I'm on Ubuntu 18.04.1 with gnome-terminal version 3.28.2-1ubuntu1~18.04.1

Revision history for this message
Launchpad Janitor (janitor) wrote :

Status changed to 'Confirmed' because the bug affects multiple users.

Changed in gnome-terminal (Ubuntu):
status: New → Confirmed
Revision history for this message
Egmont Koblinger (egmont-gmail) wrote :

Thanks for the report! I've forwarded it upstream: https://gitlab.gnome.org/GNOME/gnome-terminal/issues/33.

(Note that this shortcut is disabled by default, not assigned to F10.)

Revision history for this message
Jeremy Bícha (jbicha) wrote :

This will be fixed in 3.30.1 which will likely be available in Ubuntu 18.10 which will be released later next month. (Note that 18.10 will not be an LTS release.)

https://gitlab.gnome.org/GNOME/gnome-terminal/commit/4b77237463e3c

Changed in gnome-terminal (Ubuntu):
status: Confirmed → Fix Committed
importance: Undecided → Low
Revision history for this message
Yuyan Li (ynzl) wrote :

Will this also be patched in 3.28 so that it is available in 18.04?

To post a comment you must log in.
This report contains Public information  
Everyone can see this information.
Subscribing...

Other bug subscribers

Remote bug watches

Bug watches keep track of this bug in other bug trackers.