Kile이 윈도우스와 궁합이 잘 안 맞는 모양입니다. Setzer는 알려주신 대로 flatpak으로 깔았습니다(분명히 제가 할 때는 안됐는데!). 그런데 setzer가 Kile이나 gummi 처럼 자동 컴파일은 안되는군요. Linux 사용자라면 역시 Kile이 가장 좋습니다.