Open joneugster opened 6 months ago
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.
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.