Code Editor : stop_token