gnome-shell/gnome-shell-favourite-apps-firefox.patch

39 lines
1.8 KiB
Diff
Raw Normal View History

2021-03-04 15:06:57 +00:00
From a2e62e671260576d23f18c22c10a48ac4a8504af Mon Sep 17 00:00:00 2001
2019-02-21 21:03:14 +00:00
From: =?UTF-8?q?Florian=20M=C3=BCllner?= <fmuellner@gnome.org>
Date: Wed, 17 Sep 2014 07:11:12 +0200
Subject: [PATCH] Replace Web with Firefox in default favorites
---
data/org.gnome.shell.gschema.xml.in | 2 +-
js/ui/appFavorites.js | 1 +
2 files changed, 2 insertions(+), 1 deletion(-)
2019-02-07 09:35:54 +00:00
diff --git a/data/org.gnome.shell.gschema.xml.in b/data/org.gnome.shell.gschema.xml.in
2021-03-04 15:06:57 +00:00
index cd6a2356d..b8a13a9cc 100644
2019-02-07 09:35:54 +00:00
--- a/data/org.gnome.shell.gschema.xml.in
+++ b/data/org.gnome.shell.gschema.xml.in
2019-12-11 22:30:28 +00:00
@@ -50,7 +50,7 @@
2016-08-19 22:31:23 +00:00
</description>
</key>
<key name="favorite-apps" type="as">
2021-03-04 15:06:57 +00:00
- <default>[ 'org.gnome.Epiphany.desktop', 'org.gnome.Calendar.desktop', 'org.gnome.Music.desktop', 'org.gnome.Nautilus.desktop', 'org.gnome.Software.desktop' ]</default>
+ <default>[ 'org.mozilla.firefox.desktop', 'org.gnome.Calendar.desktop', 'org.gnome.Music.desktop', 'org.gnome.Nautilus.desktop', 'org.gnome.Software.desktop' ]</default>
2016-08-19 22:31:23 +00:00
<summary>List of desktop file IDs for favorite applications</summary>
<description>
The applications corresponding to these identifiers
2019-02-07 09:35:54 +00:00
diff --git a/js/ui/appFavorites.js b/js/ui/appFavorites.js
2021-03-04 15:06:57 +00:00
index a876727ed..24ce16f81 100644
--- a/js/ui/appFavorites.js
+++ b/js/ui/appFavorites.js
2021-03-04 15:06:57 +00:00
@@ -52,6 +52,7 @@ const RENAMED_DESKTOP_IDS = {
2019-04-17 19:41:40 +00:00
'gnotski.desktop': 'org.gnome.Klotski.desktop',
'gtali.desktop': 'org.gnome.Tali.desktop',
2019-02-21 21:03:14 +00:00
'iagno.desktop': 'org.gnome.Reversi.desktop',
+ 'mozilla-firefox.desktop': 'org.mozilla.firefox.desktop',
'nautilus.desktop': 'org.gnome.Nautilus.desktop',
2019-02-21 21:03:14 +00:00
'org.gnome.gnome-2048.desktop': 'org.gnome.TwentyFortyEight.desktop',
'org.gnome.taquin.desktop': 'org.gnome.Taquin.desktop',
--
2021-03-04 15:06:57 +00:00
2.30.1
2019-02-21 21:03:14 +00:00