bug: editor not updating until reloading page

Open joneugster opened this issue 2 years ago • 1 comments

The remaining part about changing lean projects is that after changing project (i.e. lean version) the editor messages (squigglies, yellow task bar, ...) do not update unless the site is reloaded.

Dec 16 '23 23:12 joneugster

related (?):

My experience (Linux/Firefox) with the Web editor is that after the server has crashed and it is restarted, the infoview does not refresh, and I have to click on the reload button of the browser to get it working again.

Apr 10 '24 08:04 joneugster

Should be fixed with the new version, I believe!

Aug 08 '24 19:08 joneugster