最新の MAcOs の更新により、Java も更新され、PhpStorm のパフォーマンスに非常に悪い影響を与えたようです。
とにかく、Javaを更新することにしました。
だった
$ java -version
java version "1.6.0_51"
Java(TM) SE Runtime Environment (build 1.6.0_51-b11-457-11M4509)
Java HotSpot(TM) 64-Bit Server VM (build 20.51-b01-457, mixed mode)
Oracle から Java SDK をダウンロードしてインストールした後:
$ java -version
java version "1.7.0_25"
Java(TM) SE Runtime Environment (build 1.7.0_25-b15)
Java HotSpot(TM) 64-Bit Server VM (build 23.25-b01, mixed mode)
しかし、PhpStorm ではまだ古い JRE が表示されます。
コンピューターも再起動しましたが、それでも古い JRE が表示されます。
PHPStorm で新しい JRE を使用する方法を教えてください。