diff options
| author | Pablo Correa Gómez <ablocorrea@hotmail.com> | 2021-10-31 15:31:24 +0100 |
|---|---|---|
| committer | Ray Strode <halfline@gmail.com> | 2022-01-12 14:35:05 +0000 |
| commit | eacc401c0ad6ad311b2115b9d5ed7613e184e787 (patch) | |
| tree | 36903fe681b86c9ed8502ea3707bc496ceef4dd5 | |
| parent | db1a97c2ffa091a37087cad15c759554e6fbb4ad (diff) | |
| download | gnome-session-eacc401c0ad6ad311b2115b9d5ed7613e184e787.tar.gz | |
manager: add missing .desktop when checking against app_id
gsm_app_peek_app_id ends up calling g_app_info_get_id, which
in Unix systems contains the ".desktop" extension. This can
be verified by enabling the debug log and checking for the
following entries which print the "app_id" string.
| -rw-r--r-- | gnome-session/gsm-manager.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gnome-session/gsm-manager.c b/gnome-session/gsm-manager.c index 39e867c3..1b88b266 100644 --- a/gnome-session/gsm-manager.c +++ b/gnome-session/gsm-manager.c @@ -271,7 +271,7 @@ on_required_app_failure (GsmManager *manager, app_id = gsm_app_peek_app_id (app); - if (g_str_equal (app_id, "org.gnome.Shell")) { + if (g_str_equal (app_id, "org.gnome.Shell.desktop")) { extensions = g_object_new (GSM_TYPE_SHELL_EXTENSIONS, NULL); gsm_shell_extensions_disable_all (extensions); } else { @@ -305,7 +305,7 @@ on_display_server_failure (GsmManager *manager, app_id = gsm_app_peek_app_id (app); - if (g_str_equal (app_id, "org.gnome.Shell")) { + if (g_str_equal (app_id, "org.gnome.Shell.desktop")) { extensions = g_object_new (GSM_TYPE_SHELL_EXTENSIONS, NULL); gsm_shell_extensions_disable_all (extensions); |