[gnome-documents] search: use files GOA provider feature

[Cosimo Cecchi <cosimoc src gnome org>]

commit 14138c895f48fed855a84d18fb3ea5bee6f39468
Author: Cosimo Cecchi <cosimoc gnome org>
Date:   Tue Aug 6 12:27:21 2019 +0200

    search: use files GOA provider feature
    
    The documents feature is going away, so switch to using files.
    
    https://gitlab.gnome.org/GNOME/gnome-documents/merge_requests/27
    Fixes https://gitlab.gnome.org/GNOME/gnome-documents/issues/34

 src/search.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
---
diff --git a/src/search.js b/src/search.js
index f48cd4db..df5907c5 100644
--- a/src/search.js
+++ b/src/search.js
@@ -429,7 +429,7 @@ const SourceManager = class SourceManager extends Manager.BaseManager {
             if (!object.get_account())
                 return;
 
-            if (!object.get_documents())
+            if (!object.get_files())
                 return;
 
             let source = new Source({ object: object });