Allow other text editors to edit files in Emacs' home directory

* java/AndroidManifest.xml.in: Declare the new documents
provider.
* java/README: Describe the meaning of files in res/values.
* java/org/gnu/emacs/EmacsDocumentsProvider.java
(EmacsDocumentsProvider): New file.
* java/res/values-v19/bool.xml:
* java/res/values/bool.xml: New files.

1 files changed, 12 insertions, 0 deletions

diff --git a/java/AndroidManifest.xml.in b/java/AndroidManifest.xml.in
index 3c9e30713b6..1da3646e2f5 100644
--- a/java/AndroidManifest.xml.in
+++ b/java/AndroidManifest.xml.in
@@ -179,6 +179,18 @@ along with GNU Emacs.  If not, see <https://www.gnu.org/licenses/>. -->
       </intent-filter>
     </activity>
 
+    <provider android:name="org.gnu.emacs.EmacsDocumentsProvider"
+              android:authorities="org.gnu.emacs"
+              android:exported="true"
+              android:grantUriPermissions="true"
+              android:permission="android.permission.MANAGE_DOCUMENTS"
+              android:enabled="@bool/isAtLeastKitKat">
+      <intent-filter>
+        <action
+            android:name="android.content.action.DOCUMENTS_PROVIDER"/>
+      </intent-filter>
+    </provider>
+
     <service android:name="org.gnu.emacs.EmacsService"
              android:directBootAware="false"
              android:enabled="true"