some preference improvements

2024-05-25 18:55:58 +02:00
parent ea08250d87
commit 600f912a85
13 changed files with 365 additions and 56 deletions
--- a/frontend/android/app/src/main/AndroidManifest.xml
+++ b/frontend/android/app/src/main/AndroidManifest.xml
@@ -48,4 +48,7 @@
            <data android:mimeType="text/plain"/>
        </intent>
    </queries>
+
+    <!-- Required to fetch data from the internet. -->
+    <uses-permission android:name="android.permission.INTERNET" />
 </manifest>