--- gnome-shell-3.13.90/data/org.gnome.shell.gschema.xml.in.in.firefox 2014-08-20 20:28:07.601133033 +0200 +++ gnome-shell-3.13.90/data/org.gnome.shell.gschema.xml.in.in 2014-08-20 20:28:41.741503518 +0200 @@ -31,7 +31,7 @@ - [ 'epiphany.desktop', 'evolution.desktop', 'rhythmbox.desktop', 'shotwell.desktop', 'org.gnome.Nautilus.desktop', 'org.gnome.Software.desktop' ] + [ 'firefox.desktop', 'evolution.desktop', 'rhythmbox.desktop', 'shotwell.desktop', 'org.gnome.Nautilus.desktop', 'org.gnome.Software.desktop' ] <_summary>List of desktop file IDs for favorite applications <_description> The applications corresponding to these identifiers --- a/js/ui/appFavorites.js +++ b/js/ui/appFavorites.js @@ -31,6 +31,7 @@ const RENAMED_DESKTOP_IDS = { 'gnotravex.desktop': 'gnome-tetravex.desktop', 'gnotski.desktop': 'gnome-klotski.desktop', 'gtali.desktop': 'tali.desktop', + 'mozilla-firefox.desktop': 'firefox.desktop', 'nautilus.desktop': 'org.gnome.Nautilus.desktop', 'polari.desktop': 'org.gnome.Polari.desktop', 'totem.desktop': 'org.gnome.Totem.desktop',