From d6c63e59e8ce82c60399c7c2c2d3fb94ec677b37 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:51:05 +0100
Subject: [PATCH] New todo

---
 TODO.md | 9 +++++----
 1 file changed, 5 insertions(+), 4 deletions(-)

diff --git a/TODO.md b/TODO.md
index 414bff0..1d86856 100644
--- a/TODO.md
+++ b/TODO.md
@@ -67,10 +67,6 @@
 - [R] When a formula is derived in FormulaScreen, the new FormulaScreen is not pushed in navigator, it replacles the current FormulaScreen
 - [R] In FormulaScreen, a Formula cant be derived if DerivedFormula.isDerivable() returns false
 - [R] The algorithm of formulaSolver should be https://en.wikipedia.org/wiki/Newton%27s_method
-- [ ] In FormulaList, add a button next to "export" to import FormulaElements. 
-  - 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.
@@ -79,4 +75,9 @@
   - The screen will receive a list of FormulaElements to import
   - The formulas will have a "edit" button to show a FormulaEditor with the formula
   - The screen will have an "import all" button to import all the FormulaElements in the list. This will call Corpus.addFormulaElement() for each element, and then pop the screen.
+- [ ] In FormulaList, add a button next to "export" to import FormulaElements.
+  - 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 use the import preview screen
+- Make formulaSolver() asyncronous, and show a CircularProgressIndicator while the formula is being solved. Honor a new optinal parameter "timeout" in formulaSolver, that will throw a TimeoutException.
 - [ ] 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.