After an evaluation, GNOME has moved from Bugzilla to GitLab. Learn more about GitLab.
No new issues can be reported in GNOME Bugzilla anymore.
To report an issue in a GNOME project, go to GNOME GitLab.
Do not go to GNOME Gitlab for: Bluefish, Doxygen, GnuCash, GStreamer, java-gnome, LDTP, NetworkManager, Tomboy.
Bug 688170 - Super menu is unhidable
Super menu is unhidable
Status: RESOLVED FIXED
Product: epiphany
Classification: Core
Component: General
3.4.x (obsolete)
Other Linux
: Normal normal
: ---
Assigned To: Epiphany Maintainers
Epiphany Maintainers
Depends on:
Blocks:
 
 
Reported: 2012-11-12 14:40 UTC by Stanislav Fyodorov
Modified: 2012-12-10 14:55 UTC
See Also:
GNOME target: ---
GNOME version: ---


Description Stanislav Fyodorov 2012-11-12 14:40:50 UTC 
There are no way to hide super menu with one Web button, even im
fullscreen mode. If Gnome Shell isn't in use supper menu spends a lot of
place just for one menu button.

Suggesting:
* add disable-super-menu option to dconf settings.
Comment 1 André Klapper 2012-11-13 10:25:59 UTC 
What is "super menu"?
Comment 2 Stanislav Fyodorov 2012-11-13 14:39:02 UTC 
For example: https://bugzilla.gnome.org/show_bug.cgi?id=665479
Comment 3 Diego Escalante Urrelo (not reading bugmail) 2012-12-10 14:55:18 UTC 
It is not integrated into the gear menu when gnome-shell is not present.