[gnome-shell] Clean up vestiges of the OpenSearch system

[Rui Matos <rtcm src gnome org>]

commit c866b0dbfd8f7609f069743aeb6e60cd46cf78d4
Author: Rui Matos <tiagomatos gmail com>
Date:   Fri Sep 7 17:41:43 2012 +0200

    Clean up vestiges of the OpenSearch system
    
    https://bugzilla.gnome.org/show_bug.cgi?id=683583

 data/org.gnome.shell.gschema.xml.in.in |    4 ----
 data/theme/gnome-shell.css             |    4 ----
 js/ui/searchDisplay.js                 |    5 -----
 3 files changed, 0 insertions(+), 13 deletions(-)
---
diff --git a/data/org.gnome.shell.gschema.xml.in.in b/data/org.gnome.shell.gschema.xml.in.in
index 866732f..d9a1ae8 100644
--- a/data/org.gnome.shell.gschema.xml.in.in
+++ b/data/org.gnome.shell.gschema.xml.in.in
@@ -39,10 +39,6 @@
         will be displayed in the favorites area.
       </_description>
     </key>
-    <key name="disabled-open-search-providers" type="as">
-      <default>[]</default>
-      <_summary>disabled OpenSearch providers</_summary>
-    </key>
     <key name="command-history" type="as">
       <default>[]</default>
       <_summary>History for command (Alt-F2) dialog</_summary>
diff --git a/data/theme/gnome-shell.css b/data/theme/gnome-shell.css
index d2bd3da..dee7e4c 100644
--- a/data/theme/gnome-shell.css
+++ b/data/theme/gnome-shell.css
@@ -720,10 +720,6 @@ StButton.popup-menu-item:insensitive {
     spacing: 4px;
 }
 
-.search-providers-box {
-    spacing: 12px;
-}
-
 /* Text labels are an odd number of pixels tall. The uneven top and bottom
  * padding compensates for this and ensures that the label is vertically
  * centered */
diff --git a/js/ui/searchDisplay.js b/js/ui/searchDisplay.js
index 28e0255..d92eeb9 100644
--- a/js/ui/searchDisplay.js
+++ b/js/ui/searchDisplay.js
@@ -214,8 +214,6 @@ const SearchResults = new Lang.Class({
         for (let i = 0; i < this._providers.length; i++) {
             this.createProviderMeta(this._providers[i]);
         }
-        this._searchProvidersBox = new St.BoxLayout({ style_class: 'search-providers-box' });
-        this.actor.add(this._searchProvidersBox);
 
         this._highlightDefault = false;
         this._defaultResult = null;
@@ -302,9 +300,6 @@ const SearchResults = new Lang.Class({
             }
         }
 
-        if (!newDefaultResult)
-            newDefaultResult = this._searchProvidersBox.get_first_child();
-
         if (newDefaultResult != this._defaultResult) {
             if (this._defaultResult)
                 this._defaultResult.setSelected(false);