From e4b107839364499be04d3c8604cc915c5ac5799e Mon Sep 17 00:00:00 2001 From: Raghav Gururajan Date: Mon, 17 Aug 2020 04:55:54 -0400 Subject: [PATCH] gnu: gnome-terminal: Enable gnome shell search provider. * gnu/packages/gnome.scm (gnome-terminal) [inputs]: Add gnome-shell. Signed-off-by: Danny Milosavljevic --- gnu/packages/gnome.scm | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/gnu/packages/gnome.scm b/gnu/packages/gnome.scm index a84887b0d9..9d20946105 100644 --- a/gnu/packages/gnome.scm +++ b/gnu/packages/gnome.scm @@ -5671,8 +5671,7 @@ (define-public gnome-terminal (inputs `(("dconf" ,dconf) ("glib" ,glib) - ;; To be enabled. - ;; ("gnome-shell-search-provider" ,gnome-shell) + ("gnome-shell-search-provider" ,gnome-shell) ("gtk+" ,gtk+) ("gsettings-desktop-schemas" ,gsettings-desktop-schemas) ("libnautilus-extension" ,nautilus)