Instrumentation fails after page reload #7
Description
It is manifested when the current file in the editor is not the live HTML document (eg. a related JS file).
HTMLIntrsumentation.generateInstrumentedHTML throws an exception at line 756 because editor=null. When the page is reloaded, the server asks for the instrumented document but at that time the editor seems to be previously detached by LiveDocument._onActiveEditorChange and LiveDocument._close