[gnome-documents] documents: add previewed documents to GtkRecentManager

[Cosimo Cecchi <cosimoc src gnome org>]

commit 9f043d2aa28c9b0997293b4d5ae9b65825859ff4
Author: Cosimo Cecchi <cosimoc gnome org>
Date:   Wed Oct 12 16:55:17 2011 -0400

    documents: add previewed documents to GtkRecentManager
    
    So e.g. the shell search or the file chooser can keep track of them.
    
    https://bugzilla.gnome.org/show_bug.cgi?id=661339

 src/documents.js |    5 +++++
 1 files changed, 5 insertions(+), 0 deletions(-)
---
diff --git a/src/documents.js b/src/documents.js
index c6d5b4f..aa66e1b 100644
--- a/src/documents.js
+++ b/src/documents.js
@@ -614,6 +614,11 @@ DocumentManager.prototype = {
             return;
 
         this._activeDocument = doc;
+
+        if (this._activeDocument != null) {
+            let recentManager = Gtk.RecentManager.get_default();
+            recentManager.add_item(this._activeDocument.uri);
+        }
     },
 
     getActiveDocument: function() {