[gnome-documents] embed: Settings is the new name for gnome-control-center

[Debarshi Ray <debarshir src gnome org>]

commit 70ffee4e145b296295d941b1dd55af3025d75c49
Author: Debarshi Ray <debarshir gnome org>
Date:   Tue Dec 31 16:36:00 2013 +0100

    embed: Settings is the new name for gnome-control-center
    
    https://bugzilla.gnome.org/show_bug.cgi?id=721279

 src/embed.js |    8 ++++----
 1 files changed, 4 insertions(+), 4 deletions(-)
---
diff --git a/src/embed.js b/src/embed.js
index 98a8391..f46276e 100644
--- a/src/embed.js
+++ b/src/embed.js
@@ -162,13 +162,13 @@ const EmptyResultsBox = new Lang.Class({
 
     _addSystemSettingsLabel: function() {
         let detailsStr =
-            // Translators: %s here is "System Settings", which is in a separate string
-            // due to markup, and should be translated only in the context of this sentence
+            // Translators: %s here is "Settings", which is in a separate string due to
+            // markup, and should be translated only in the context of this sentence
             _("You can add your online accounts in %s").format(
             " <a href=\"system-settings\">" +
             // Translators: this should be translated in the context of the
-            // "You can add your online accounts in System Settings" sentence above
-            _("System Settings") +
+            // "You can add your online accounts in Settings" sentence above
+            _("Settings") +
             "</a>");
         let details = new Gtk.Label({ label: detailsStr,
                                       use_markup: true,