[gnome-shell] app-display: Rename PREFERENCES search provider to SETTINGS

[Florian Müllner <fmuellner src gnome org>]

commit 5e8f7ec59008eb3016242e101709ae33d87ab793
Author: Florian Müllner <fmuellner gnome org>
Date:   Wed Mar 2 01:04:09 2011 +0100

    app-display: Rename PREFERENCES search provider to SETTINGS
    
    Both the shell and gnome-control-center prefer "Settings" over
    "Preferences", so rename the corresponding search section.

 js/ui/appDisplay.js |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/js/ui/appDisplay.js b/js/ui/appDisplay.js
index 6fe12f2..cd5983b 100644
--- a/js/ui/appDisplay.js
+++ b/js/ui/appDisplay.js
@@ -309,7 +309,7 @@ PrefsSearchProvider.prototype = {
     __proto__: BaseAppSearchProvider.prototype,
 
     _init: function() {
-        BaseAppSearchProvider.prototype._init.call(this, _("PREFERENCES"));
+        BaseAppSearchProvider.prototype._init.call(this, _("SETTINGS"));
     },
 
     getInitialResultSet: function(terms) {