From ff6ee2c0c2a4ab484ab63cf0fbe95a7c4e8b062d Mon Sep 17 00:00:00 2001
From: Siegfried-Angel Gevatter Pujals <rainct@ubuntu.com>
Date: Mon, 27 Jul 2009 18:18:17 +0200
Subject: [PATCH] DocsWidget -> RecentDocsWidget

Rename DocsWidget to RecentDocsWidget (as widgets for most used docs,
docs related to the currently open documents, etc. may be added in the
future), and change the title so that it doesn't abbreviate 'Docs' (for
consistency with the overlay).
---
 data/gnome-shell.schemas | 2 +-
 js/ui/widget.js          | 6 +++---
 2 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/data/gnome-shell.schemas b/data/gnome-shell.schemas
index f183cb6f5..bd42bfa0d 100644
--- a/data/gnome-shell.schemas
+++ b/data/gnome-shell.schemas
@@ -64,7 +64,7 @@
 	<owner>gnome-shell</owner>
 	<type>list</type>
 	<list_type>string</list_type>
-	<default>[imports.ui.widget.ClockWidget,imports.ui.widget.AppsWidget,imports.ui.widget.DocsWidget]</default>
+	<default>[imports.ui.widget.ClockWidget,imports.ui.widget.AppsWidget,imports.ui.widget.RecentDocsWidget]</default>
 	<locale name="C">
 	  <short>The widgets to display in the sidebar</short>
 	  <long>
diff --git a/js/ui/widget.js b/js/ui/widget.js
index d4f661c31..cb41e83f2 100644
--- a/js/ui/widget.js
+++ b/js/ui/widget.js
@@ -327,17 +327,17 @@ AppsWidget.prototype = {
     }
 };
 
-function DocsWidget() {
+function RecentDocsWidget() {
     this._init.apply(this, arguments);
 }
 
-DocsWidget.prototype = {
+RecentDocsWidget.prototype = {
     __proto__ : LauncherWidget.prototype,
 
     _init : function() {
         Widget.prototype._init.apply(this, arguments);
 
-        this.title = "Recent Docs";
+        this.title = "Recent Documents";
         this.actor = new Big.Box({ spacing: 2 });
 
         this._recentManager = Gtk.RecentManager.get_default();