Code Editor : debugging