EricKuck 42c923d62a .ai import: editingData "always" and convert --editing-data open a file from its editing data even where its page draws differently

2026-10-12 23:07:25 +07:00

..

main.rs

.ai import: editingData "always" and convert --editing-data open a file from its editing data even where its page draws differently

2026-10-12 23:07:25 +07:00

perf.rs

#1244: smaller objects: Node 352 -> 152 bytes, NodeKind 200 -> 80, and a cheaper undo estimate

2026-10-12 11:02:32 +07:00