How to change Arduino IDE default font

Arduino IDE 에서 쓸 글꼴을 바꾸려면?
파일 - 환경설정에서 바꾸면 된다.
그런데 여기서 글꼴 크기는 바꿀 수 있지만 글꼴 모양을 바꿀 수 없다.

이게 왜 문제가 되냐면 엠에스 윈도에 설치된 Arduino IDE 기본 글꼴은
대문자 아이(I), 소문자 엘(l), 숫자 일(1)이 구별이 불가능하다는 거.
아두이노 프로그램 하다가
눈으로 아무리 봐도 맞는 코드인데 에러가 발생.
왜 그런가 보니, 소문자 엘, 대문자 아이를 잘못 쳤던 것.

그럼 글꼴 모양은 어떻게 바꿀까?
힌트는 역시
파일 - 환경설정.
거기에 가보면 환경설정 파일의 경로와 이름을 알 수 있다.
파일 경로는 다를 수 있다.
해당 파일(preferences.txt)을 열어서
font 를 찾아보자.

나는
C:\Users\admin\AppData\Local\Arduino15\ 폴더에서
preferences.txt 열어서
editor.font=NanumGothicCoding,plain,14
와 같이 나눔고딕코딩 글꼴로 바꾸고 저장.

아두이노 IDE 다시 시작해서 보니
대문자 아이(I), 소문자 엘(l), 숫자 일(1)이 구별이 쉬워졌다.