Clean up vestiges of the OpenSearch system

https://bugzilla.gnome.org/show_bug.cgi?id=683583
This commit is contained in:
Rui Matos 2012-09-07 17:41:43 +02:00
parent 1c79f18b13
commit c866b0dbfd
3 changed files with 0 additions and 13 deletions

View File

@ -39,10 +39,6 @@
will be displayed in the favorites area. will be displayed in the favorites area.
</_description> </_description>
</key> </key>
<key name="disabled-open-search-providers" type="as">
<default>[]</default>
<_summary>disabled OpenSearch providers</_summary>
</key>
<key name="command-history" type="as"> <key name="command-history" type="as">
<default>[]</default> <default>[]</default>
<_summary>History for command (Alt-F2) dialog</_summary> <_summary>History for command (Alt-F2) dialog</_summary>

View File

@ -720,10 +720,6 @@ StButton.popup-menu-item:insensitive {
spacing: 4px; spacing: 4px;
} }
.search-providers-box {
spacing: 12px;
}
/* Text labels are an odd number of pixels tall. The uneven top and bottom /* 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 * padding compensates for this and ensures that the label is vertically
* centered */ * centered */

View File

@ -214,8 +214,6 @@ const SearchResults = new Lang.Class({
for (let i = 0; i < this._providers.length; i++) { for (let i = 0; i < this._providers.length; i++) {
this.createProviderMeta(this._providers[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._highlightDefault = false;
this._defaultResult = null; 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 (newDefaultResult != this._defaultResult) {
if (this._defaultResult) if (this._defaultResult)
this._defaultResult.setSelected(false); this._defaultResult.setSelected(false);