저장된 문서들의 추가/삭제된 이력을 비교할 수 있는 플러그인입니다.
// 플러그인 소개영상
//... 'editor.menu.definition': { //..., 'tools': [ //..., 'documentComparison', //... ], //... }, //...