Gnome Tweak Tool has, under extensions, "show applications menu" and, under Top Bar, "show application menu".

The first puts an application menu on the top bar replacing activities overview.

What is the latter supposed to do? I see no difference whether it's on or off.

Reply via email to