From d4b11cd25c8149947820712ce4f7b9b8e380555b Mon Sep 17 00:00:00 2001
From: dorianx <dorian@bourgeois.at>
Date: Thu, 21 Mar 2024 16:01:08 +0100
Subject: [PATCH] numbered todos and todo-list

---
 lib.typ | 23 +++++++++++++++++++----
 1 file changed, 19 insertions(+), 4 deletions(-)

diff --git a/lib.typ b/lib.typ
index 2c74bb1..9d69e41 100644
--- a/lib.typ
+++ b/lib.typ
@@ -1,5 +1,23 @@
 #import "@preview/gviz:0.1.0": *
 
+#let todo-list = state("todo-list",())
+
+#let todo(content) = context {
+  let todonum = todo-list.get().len() + 1
+  text(weight: "bold", fill: red, [TODO n°#todonum #label("todo-"+str(todonum)): #content])
+  todo-list.update(x => x + (("todo-"+str(x.len()+1),x.len()+1, content),))
+}
+
+#let todos() = context {
+  pagebreak(weak: true)
+  [= TO-DOs]
+  for t in todo-list.final() {
+    let l =  label(t.first())
+    list.item(link(l)[TODO n°#t.at(1) p.#locate(l).page() : #t.last()])
+    
+  }
+}
+
 #let notes-template(doc) = [
   #show raw.where(lang: "dot-render"): it => render-image(it.text)
   #show raw.where(lang: "digraphLR"): it => render-image("digraph mygraph { rankdir=\"LR\";" + it.text + "}")
@@ -7,8 +25,5 @@
   #show raw.where(lang: "graphLR"): it => render-image("graph mygraph { rankdir=\"TB\";" + it.text + "}")
   #show raw.where(lang: "graphTB"): it => render-image("graph mygraph { rankdir=\"TB\";" + it.text + "}")
   #doc
+  #todos
 ]
-
-#let todo(content) = {
-  text(weight: "bold", fill: red, [{TODO : #content}])
-}