{
  "Theme editor": "테마 편집기",
  "Themes": "테마",
  "Dark theme": "다크 테마",
  "Optional": "선택 가능",
  "Non-optional": "선택 불가",
  "Current": "현재 테마",
  "Default": "기본",
  "Delete theme": "테마 삭제",
  "Deletion is unrecoverable. Confirm deletion?": "삭제 후 복구할 수 없습니다. 삭제 확인?",
  "Deleted successfully": "성공적으로 삭제되었습니다",
  "Updated successfully": "성공적으로 업데이트되었습니다",
  "User selectable": "사용자 선택 가능",
  "Default theme": "기본 테마",
  "Add new theme": "새로운 테마 추가",
  "Edit based on the current theme": "현재 테마를 기반으로 편집",
  "Create a brand new theme": "새로운 테마 생성",
  "Dark": "다크",
  "Compact": "콤팩트",
  "Compact dark": "콤팩트 다크",
  "Theme Editor": "테마 편집기",
  "Save": "저장",
  "Close": "닫기",
  "Edit": "편집",
  "Export": "내보내기",
  "Edit Theme Config": "테마 구성 편집",
  "The theme of the JSON format is incorrect": "JSON 형식의 테마가 올바르지 않습니다",
  "Edited successfully": "성공적으로 편집되었습니다",
  "Saved successfully": "성공적으로 저장되었습니다",
  "Initializing Editor...": "편집기 초기화 중...",
  "Save theme": "테마 저장",
  "Please set a name for this theme": "이 테마에 이름을 설정하세요",
  "Please input the theme name": "테마 이름을 입력하세요"  
}