-
Ignacio Casal Quinteiro authored
Detect if we are running under gnome-shell and add items to the appmenu, otherwise merge them in the normal uimanager menu
6d19a449
Detect if we are running under gnome-shell and add items to the appmenu, otherwise merge them in the normal uimanager menu