Rename firefox.desktop to org.mozilla.firefox.desktop at RENAMED_DESKTOP_IDS

2023-12-21 10:20:54 +01:00 · 2023-12-21 10:20:54 +01:00 · 8c09aad1ec
commit 8c09aad1ec
parent 624402d89f
1 changed files with 2 additions and 3 deletions
--- a/gnome-shell-favourite-apps-firefox.patch
+++ b/gnome-shell-favourite-apps-firefox.patch
@ -29,10 +29,9 @@ index a876727ed..24ce16f81 100644
     'gnotski.desktop': 'org.gnome.Klotski.desktop',
     'gtali.desktop': 'org.gnome.Tali.desktop',
     'iagno.desktop': 'org.gnome.Reversi.desktop',
-+    'mozilla-firefox.desktop': 'org.mozilla.firefox.desktop',
+    'firefox.desktop': 'org.mozilla.firefox.desktop',
     'nautilus.desktop': 'org.gnome.Nautilus.desktop',
     'org.gnome.gnome-2048.desktop': 'org.gnome.TwentyFortyEight.desktop',
     'org.gnome.taquin.desktop': 'org.gnome.Taquin.desktop',
-- 
+--
 2.30.1
-