Code Editor : check-enhancements