2019-11-05 19:43:42 +00:00
|
|
|
From d15a92aeaa075230f711921f4bcd929c49bfc97d Mon Sep 17 00:00:00 2001
|
2019-05-07 12:23:00 +00:00
|
|
|
From: =?UTF-8?q?Florian=20M=C3=BCllner?= <fmuellner@gnome.org>
|
|
|
|
|
Date: Thu, 9 Mar 2017 14:44:32 +0100
|
|
|
|
|
Subject: [PATCH] appFavorites: Add terminal
|
|
|
|
|
|
|
|
|
|
---
|
|
|
|
|
data/org.gnome.shell.gschema.xml.in | 2 +-
|
|
|
|
|
1 file changed, 1 insertion(+), 1 deletion(-)
|
|
|
|
|
|
|
|
|
|
diff --git a/data/org.gnome.shell.gschema.xml.in b/data/org.gnome.shell.gschema.xml.in
|
2019-11-05 19:43:42 +00:00
|
|
|
index 40526187e..9d7e011fc 100644
|
2019-05-07 12:23:00 +00:00
|
|
|
--- a/data/org.gnome.shell.gschema.xml.in
|
|
|
|
|
+++ b/data/org.gnome.shell.gschema.xml.in
|
|
|
|
|
@@ -39,7 +39,7 @@
|
|
|
|
|
</description>
|
|
|
|
|
</key>
|
|
|
|
|
<key name="favorite-apps" type="as">
|
|
|
|
|
- <default>[ 'firefox.desktop', 'evolution.desktop', 'rhythmbox.desktop', 'shotwell.desktop', 'org.gnome.Nautilus.desktop', 'org.gnome.Software.desktop', 'yelp.desktop' ]</default>
|
|
|
|
|
+ <default>[ 'firefox.desktop', 'evolution.desktop', 'rhythmbox.desktop', 'shotwell.desktop', 'org.gnome.Nautilus.desktop', 'org.gnome.Software.desktop', 'yelp.desktop', 'gnome-terminal.desktop' ]</default>
|
|
|
|
|
<summary>List of desktop file IDs for favorite applications</summary>
|
|
|
|
|
<description>
|
|
|
|
|
The applications corresponding to these identifiers
|
|
|
|
|
--
|
2019-11-05 19:43:42 +00:00
|
|
|
2.21.0
|
2019-05-07 12:23:00 +00:00
|
|
|
|
