Marco Trevisan (Treviño) 768c08ba9d main: Don't override DesktopAppInfo desktop if already GNOME ... During the shell initialization we call the (deprecated) function to override the Desktop environment in Gio DesktopAppInfo to make sure that applications are correctly shown (as per commit b2fbf5a2), however this might break the cases in which $XDG_CURRENT_DESKTOP is already set and contains GNOME (given that is now a list). In Ubuntu this is in fact set to: ubuntu:GNOME. Now, if an application contains NotShowIn=ubuntu, the key will be ignored by the shell, and the application is still listed everywhere. So, override the DesktopAppInfo desktop environment only in the case that the current desktop is not already GNOME. At the current date I think we could just safely get rid of this override at all, but there could be still cases where it still might be useful, like when running as nested in some other environment, so keeping it. https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/1156 (cherry picked from commit a0def23940)		2020-04-01 03:58:56 +00:00
..
dbusServices	dbusServices/extensions: Handle parentWindow parameter	2020-03-26 18:32:30 +01:00
gdm	js: Do not set entries' ClutterText:editable property	2020-03-29 22:12:57 +02:00
misc	inputMethod: Protect for running with older mutter versions	2020-03-28 16:38:10 +00:00
perf	cleanup: Require "dangling" commas	2019-11-11 19:25:14 +00:00
portalHelper	js: Don't use templates in files with translations	2020-02-17 23:20:40 +01:00
ui	main: Don't override DesktopAppInfo desktop if already GNOME	2020-04-01 03:58:56 +00:00
js-resources.gresource.xml	swipeTracker: Introduce swipe tracker	2020-01-10 18:20:22 +01:00
meson.build	extensions-app: Move Extensions app to new subproject	2020-03-27 23:33:30 +00:00
portal-resources.gresource.xml	js: Remove unused files from resources	2020-03-09 13:18:48 +00:00