From 687dc91412aafc0ecf2533c8364a48e6bcc4649c Mon Sep 17 00:00:00 2001 From: Jonathan Daugherty Date: Sun, 28 Jun 2015 20:07:07 -0700 Subject: [PATCH] Update TODO --- TODO.txt | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/TODO.txt b/TODO.txt index 5f99691..90a473c 100644 --- a/TODO.txt +++ b/TODO.txt @@ -4,6 +4,7 @@ Bugs / design issues: contain width and height in the context, and behave differently if they're Nothing (same for boxes?) - Do we need CropLeftBy and CropTopBy if we just Translate negatively? +- Simplify attribute management (too many combinators) Features: - Text manipulation API @@ -16,5 +17,7 @@ Features: Performance: - Write benchmarks for render on various primitive types -- Use a zipper for the list widget, use vectors for storage +- Use a zipper for the list widget, use vectors for storage, or + generalize interface to some traversable so the caller decides what + structure to use (e.g. tree) - Use Vector instead of List where sensible