web editor not saving settings

Stream: general

[Eric Paul]

When I check the "Save my settings (in the browser store)" option and then refresh, this option is now unchecked and any other changes I have made are forgotten. This was previously working for me and now is not. I checked that this is happening in Firefox, Safari, and Chrome.

[Jon Eugster]

https://github.com/leanprover-community/lean4web/issues/71
:+1: