Rebase gnome-shell-favourite-apps-firefox.patch
This commit is contained in:
parent
62931c3790
commit
4f745d255c
@ -11,16 +11,11 @@
|
|||||||
The applications corresponding to these identifiers
|
The applications corresponding to these identifiers
|
||||||
--- a/js/ui/appFavorites.js
|
--- a/js/ui/appFavorites.js
|
||||||
+++ b/js/ui/appFavorites.js
|
+++ b/js/ui/appFavorites.js
|
||||||
@@ -24,6 +24,12 @@ const AppFavorites = new Lang.Class({
|
@@ -22,6 +22,7 @@ const RENAMED_DESKTOP_IDS = {
|
||||||
|
'gnome-software.desktop': 'org.gnome.Software.desktop',
|
||||||
reload: function() {
|
'gnome-weather.desktop': 'org.gnome.Weather.Application.desktop',
|
||||||
let ids = global.settings.get_strv(this.FAVORITE_APPS_KEY);
|
'gnomine.desktop': 'gnome-mines.desktop',
|
||||||
+ // Fedora: Replace old mozilla-firefox.desktop with firefox.desktop,
|
+ 'mozilla-firefox.desktop': 'firefox.desktop',
|
||||||
+ for (let i = 0; i < ids.length; i++) {
|
'nautilus.desktop': 'org.gnome.Nautilus.desktop',
|
||||||
+ if (ids[i] == 'mozilla-firefox.desktop')
|
'polari.desktop': 'org.gnome.Polari.desktop',
|
||||||
+ ids[i] = 'firefox.desktop'
|
};
|
||||||
+ }
|
|
||||||
+
|
|
||||||
let appSys = Shell.AppSystem.get_default();
|
|
||||||
let apps = ids.map(function (id) {
|
|
||||||
return appSys.lookup_app(id);
|
|
||||||
|
Loading…
Reference in New Issue
Block a user