Code Editor : metrics-launch.js