undo/redo functionality

gracelang / grace-web-editor

A simple editor for Grace

GNU General Public License v3.0

2 stars 8 forks source link

Closed att10 closed 5 years ago

att10 commented 5 years ago

Undo and redo stacks are now preserved when switching files.

apblack commented 5 years ago

Thanks again for this! It's now live at www.cs.pdx.edu/~grace