Code Editor : check-unknown-symbols.diff