brl/gnome-shell
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

app-display: Rename PREFERENCES search provider to SETTINGS

Browse Source 
Both the shell and gnome-control-center prefer "Settings" over
"Preferences", so rename the corresponding search section.
This commit is contained in:
Florian Müllner 2011-03-02 01:04:09 +01:00
parent 6e3c15e2ab
commit 5e8f7ec590
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
js/ui/appDisplay.js
View File

@ -309,7 +309,7 @@ PrefsSearchProvider.prototype = {
__proto__: BaseAppSearchProvider.prototype, __proto__: BaseAppSearchProvider.prototype,
_init: function() { _init: function() {
BaseAppSearchProvider.prototype._init.call(this, _("PREFERENCES")); BaseAppSearchProvider.prototype._init.call(this, _("SETTINGS"));
}, },
getInitialResultSet: function(terms) { getInitialResultSet: function(terms) {