Rewrite rope #11

Merged
pyrex merged 12 commits from rewrite_rope into main 2022-12-21 05:44:16 +00:00

12 Commits

Author SHA1 Message Date
709be93332 Tidy up more loose ends 2022-12-20 21:42:20 -08:00
535fcf7601 Clean up some residual messes 2022-12-20 21:37:09 -08:00
c98194550e Everything _seems_ to work 2022-12-20 20:45:33 -08:00
c71cd312b1 First version I couldn't immediately break 2022-12-20 16:27:08 -08:00
ca819b0e53 Save current changes 2022-12-20 15:18:01 -08:00
281ed4b40f Elide points as needed 2022-12-20 15:04:00 -08:00
60f1c2e112 Well, this is closer to right!! 2022-12-20 13:48:23 -08:00
b0d356aeee One final note 2022-12-19 23:29:22 -08:00
6821d6cb53 Add further algo notes 2022-12-19 23:28:26 -08:00
675ef20115 Add comment expressing uncertainty 2022-12-19 23:22:37 -08:00
a7b016c4b2 We should only care about anchors on the old path 2022-12-19 23:20:48 -08:00
f3df6c674a Rope rewrite, part one 2022-12-19 23:15:55 -08:00