From 8bae2b84cff26e2e69d6680d6ed48a699bebdc6f Mon Sep 17 00:00:00 2001
From: Ben Fry <ben@fathom.info>
Date: Sun, 4 Sep 2022 18:19:49 -0400
Subject: [PATCH] note about the platform change

---
 todo.txt | 12 ++++++++++++
 1 file changed, 12 insertions(+)

diff --git a/todo.txt b/todo.txt
index b4e4b32e8..db0729251 100755
--- a/todo.txt
+++ b/todo.txt
@@ -1,5 +1,17 @@
 1287 (4.0.2)
 X using Java 17 in more syntax
+X fix potential casting problem with Platform and DefaultPlatform
+X   should be unreachable, but fixed anyway
+
+_ set more build.xml files to use Java 17
+_ remove target.path from build/build.xml
+_   maybe simpler way to write version? sheesh
+
+_ args passed to main() aren't working
+_   (there was a bug report for this already?)
+_   were the run() and runSketch() methods merged w/o realizing loss of args?
+_   runSketch() probably needs to pass applet args and sketch args separately
+_   though this can't be done w/o breaking Python
 
 
 contrib