Code Editor : diagnostics.html