前の記事 IntelliJ IDEA 14 / Windows10 でファイル名の大小文字を区別する では、IntelliJ IDEAインストールフォルダ下の idea.properties ファイルを直接書き換えていたが、それだとバージョンアップするたびにクリアされてやり直しになってしまうので、やめた方がよかった。と公式ヘルプにも書いてあった。
IntelliJ IDEA 2020.1 > Advanced configuration > Platform properties
代わりに、「Custom Properties」を使う。
プロジェクトを閉じた状態から「Configure ＞ Edit Custom Properties…」
idea.case.sensitive.fs=true を入力・保存する。
その後いちどIntelliJを終了してから起動する。