PhpStorm で環境移行し、v2018.3 でエクスポートした settings.jar を v2019.3 でインポートしようとすると、フォントサイズがおかしくなる。その後、フォントサイズを変更し、再起動後も、変更を覚えていない、という現象に見舞われている。
config フォルダを削除して、再起動し、初期設定からフォントを変更すると、その後、再起動しても変更を覚えている。
多分、バージョン変更による設定ファイルの互換性による不具合だと思うけど。
初回起動時、do not import anything で、メニュー File -> Import Settings… からやれば、インポートする設定の項目をチェックして選べるので、それをいくつか外して、どれがコンフリクトの原因か調べるか。
こういう微妙なつまづきで地味に時間とられる。ツールの問題で、本来時間を割いて解決を図る問題とは違う。だけど、無視できない。ついてまわるもの。目的地に行くための車が故障したみたいな。目的地や経路の選定、その道のりに待っている障害とは違う問題。
Postscripts
OK, figured.
Editor Colors (Schema)をインポートしたときに壊れる。で、インポート後、以下、再設定で治る。
– Settings -> Editor -> Color Scheme -> Color Scheme Font
– Settings -> Editor -> Color Scheme -> Console Font