search

pop-os / cosmic

Computer Operating System Main Interface Components
GNU General Public License v3.0
1.16k stars 45 forks source link

feature: allow user to toggle hidding of application menu #354

Closed pbui closed 1 year ago

pbui commented 1 year ago

Fixes #181, #213

This modifies the org.gnome.shell.extensions.pop-cosmic.gschema scheme to expose a new "hide-application-menu" boolean to toggle whether or not to hide the application menu. By default this is set to true to match the current cosmic behavior.

To disable hiding this button, a user can currently use dconf:

dconf write /org/gnome/shell/extensions/pop-cosmic/hide-application-menu false

To make this more accessible, the pop-os/desktop-widget would need to be modified to add a switch for this new setting.

This is a port of #263 to jammy.

jacobgkau commented 1 year ago

Shows the app menu after the Workspaces & Applications menus (if shown) when the setting is disabled:

Screenshot from 2022-07-15 16-07-03

The setting is enabled by default (so the menu is still hidden by default, as expected); the setting can be set via gsettings (or dconf as suggested in the PR description.

One minor detail, to be consistent with the show-workspaces-button and show-applications-button options, I would probably expect this setting to be show-application-menu, so enabled = shown and disabled = hidden. This would be more important if this were to make it into a GUI, but it might still be nice to have it consistent in gsettings.

pbui commented 1 year ago

@jacobgkau I have updated the setting to be "show-application-menu" and changed the function name accordingly.