probmods / webppl-editor

Browser-based editor for WebPPL
Other
8 stars 1 forks source link

Add a persistence option #36

Open longouyang opened 8 years ago

longouyang commented 8 years ago

Like on probmods.org, use localStorage to store user modifications of code boxes and allow them to revert back to the default.

(Particularly helpful if the browser crashes -- you don't lose all your work)