use drafting module instead of custom todo

This commit is contained in:
Jean-Marie Mineau 2025-07-18 15:35:44 +02:00
parent acd42c4f62
commit 1652652d03
Signed by: histausse
GPG key ID: B66AEEDA9B645AD2
3 changed files with 29 additions and 2 deletions

View file

@ -1,5 +1,28 @@
#let todo-list = state("todo-list",())
#import "@preview/drafting:0.2.2": inline-note, note-outline, margin-note
#let show-todos = state("show-todos", true)
#let show-notes = state("show-notes", true)
#let todo(color: red, content) = context {
if show-todos.get() {
inline-note(par-break: false, stroke: (paint: color, dash: "dashed"))[#text(fill: color)[TODO]: #content]
}
}
#let todos() = context {
if show-todos.get() or show-notes.get() {
note-outline()
}
}
#let note(body, dy: auto, ..kwargs) = context {
if show-notes.get() {
margin-note(body, dy: dy, ..kwargs)
}
}
/*
#let todo-list = state("todo-list",())
#let todo(color: red, content) = context {
if show-todos.get() {
@ -43,3 +66,4 @@
}
}
}
*/