From 7484c1b093272714c0867744d5db5b07a7aec17b Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?=C3=81lvaro=20Gonz=C3=A1lez?=
 <alvarogonzalezsotillo@gmail.com>
Date: Sat, 14 Mar 2026 15:25:59 +0100
Subject: [PATCH] New todo

---
 TODO.md                                  |  4 +++
 android/app/src/main/AndroidManifest.xml | 32 +++++++++++++-----------
 2 files changed, 21 insertions(+), 15 deletions(-)

diff --git a/TODO.md b/TODO.md
index 59fc5f5..3fbc68e 100644
--- a/TODO.md
+++ b/TODO.md
@@ -71,4 +71,8 @@
   - It will show a screen with a text editor with dart syntax and a button "paste". 
   - The "paste" button will copy the clipboard into the text editor. 
   - A second button "import" will call parseCorpusElements() and will add that to the Corpus.
+- [ ] Use receive_sharing_intent package to implement import of files in linux and android.
+  - The application will accept *.d4rtf files with the same format of files in ./assets .
+  - The application will accept also shared text, with same format as files in ./assets.
+  - The loaded formulaelemets will be added to the GetIt.instance.get<Corpus)()
 - [ ] Add a uuid column to the table or FormulaElements, so it is not necessary to load all the formulas to find a formula by uuid. This will improve performance when updating and deleting.
diff --git a/android/app/src/main/AndroidManifest.xml b/android/app/src/main/AndroidManifest.xml
index 2d0dd7c..63a5ca5 100644
--- a/android/app/src/main/AndroidManifest.xml
+++ b/android/app/src/main/AndroidManifest.xml
@@ -26,6 +26,23 @@
                 <action android:name="android.intent.action.MAIN"/>
                 <category android:name="android.intent.category.LAUNCHER"/>
             </intent-filter>
+
+            <!-- https://pub.dev/documentation/receive_sharing_intent/latest/ -->
+            <intent-filter>
+                <action android:name="android.intent.action.SEND" />
+                <category android:name="android.intent.category.DEFAULT" />
+                <data android:mimeType="text/*" />
+            </intent-filter>
+            <intent-filter>
+                <action android:name="android.intent.action.VIEW" />
+                <category android:name="android.intent.category.DEFAULT" />
+                <data android:scheme="content" />
+                <data android:scheme="file" />
+                <data android:mimeType="*/*" />
+                <data android:host="*" />
+                <data android:pathPattern=".*\\.d4rtf" />
+            </intent-filter>
+
         </activity>
         <!-- Don't delete the meta-data below.
              This is used by the Flutter tool to generate GeneratedPluginRegistrant.java -->
@@ -45,19 +62,4 @@
         </intent>
     </queries>
 
-    <!-- https://pub.dev/documentation/receive_sharing_intent/latest/ -->
-    <intent-filter>
-        <action android:name="android.intent.action.SEND" />
-        <category android:name="android.intent.category.DEFAULT" />
-        <data android:mimeType="text/*" />
-    </intent-filter>
-    <intent-filter>
-        <action android:name="android.intent.action.VIEW" />
-        <category android:name="android.intent.category.DEFAULT" />
-        <data android:scheme="content" />
-        <data android:scheme="file" />
-        <data android:mimeType="*/*" />
-        <data android:host="*" />
-        <data android:pathPattern=".*\\.d4rtf" />
-    </intent-filter>
 </manifest>