hazelgrove / hazel

Hazel, a live functional programming environment with typed holes
http://hazel.org/
MIT License
684 stars 45 forks source link

Make undo return you to previous stepper state #1306

Open cyrus- opened 2 months ago

Negabinary commented 1 month ago

This issue is perhaps related to the bigger question of whether undo should be global or per-editor. Currently each individual editor keeps track of its own undo history, but might it be sensible to instead keep track of one history for the whole of Hazel?