Code Editor : set_flags.html