2020-02-06 21:04:21 +00:00
|
|
|
From ecbdc8596190dd0b2686cbe75790ed01708bd2a2 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
|
2020-02-06 21:04:21 +00:00
|
|
|
index 49d38d766..1433292e4 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>
|
2011-09-07 16:55:09 +00:00
|
|
|
</key>
|
|
|
|
<key name="favorite-apps" type="as">
|
2020-02-06 21:04:21 +00:00
|
|
|
- <default>[ 'org.gnome.Epiphany.desktop', 'org.gnome.Geary.desktop', 'org.gnome.Calendar.desktop', 'org.gnome.Music.desktop', 'org.gnome.Photos.desktop', 'org.gnome.Nautilus.desktop', 'org.gnome.Software.desktop' ]</default>
|
2020-02-07 06:10:15 +00:00
|
|
|
+ <default>[ 'firefox.desktop', 'org.gnome.Calendar.desktop', 'rhythmbox.desktop', 'org.gnome.Photos.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>
|
2011-09-07 16:55:09 +00:00
|
|
|
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
|
2020-01-05 12:42:12 +00:00
|
|
|
index 3308dd6b3..87c008704 100644
|
2012-04-05 22:47:47 +00:00
|
|
|
--- a/js/ui/appFavorites.js
|
|
|
|
+++ b/js/ui/appFavorites.js
|
2019-12-11 22:30:28 +00:00
|
|
|
@@ -50,6 +50,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',
|
2014-07-23 22:54:44 +00:00
|
|
|
+ 'mozilla-firefox.desktop': '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',
|
|
|
|
--
|
2020-01-05 12:42:12 +00:00
|
|
|
2.24.1
|
2019-02-21 21:03:14 +00:00
|
|
|
|