Ftamino schrieb:
Nein ich meine https://extensions.gnome.org/extension/1250/gnome-global-application-menu/
Das war mir schon klar...
Aber da es seit Gnome 3.24 nicht mehr weiter entwickelt wird bleibt ja kaum eine andere Wahl als eine Alternative zu nutzen. Außer natürlich Du kannst die Erweiterung selbst programmiertechnisch anpassen. Aber dann hättest Du wohl nicht den Thread gestartet.
[Nachtrag]
ok.. da hätte ich etwas besser schauen sollen. Ist doch etwas ganz anderes. In den Kommentaren zu dieser Erweiterung wird auf eine Weiterentwicklung hingewiesen: https://github.com/gonzaarcr/Fildem