Code Editor : termination-log