@hagi_ojy: ということで本気で IDEA のカスタマイズをしようとして死んだ。半端ねーなーこの量。全部を今設定する必要も気力もないけど、何が設定できるかくらいは知っておかないとね。そうすればやりながら「あ、ここちょっと設定変えたい」とかできるから…