From 5e8f7ec59008eb3016242e101709ae33d87ab793 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Florian=20M=C3=BCllner?= <fmuellner@gnome.org>
Date: Wed, 2 Mar 2011 01:04:09 +0100
Subject: [PATCH] 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 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/js/ui/appDisplay.js b/js/ui/appDisplay.js
index 6fe12f299..cd5983bf6 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) {