ThoughtStorms Wiki
Context: MindTrafficGeometry
I have never used an editor with a tree-shaped undo history. Is that useful and usable in practice or is it something that just sounds cool?— Manuel Simoni (@msimoni) June 8, 2023
I have never used an editor with a tree-shaped undo history. Is that useful and usable in practice or is it something that just sounds cool?
No Backlinks