PhpStorm 2023.1.3 にアップデートしたら、開いていたエディタタブがときどき急に全部閉じられるようになった。「IDEの修復」も「キャッシュの破棄」も効果が無かったので、IntelliJの掲示板で調べたところ、まず次の記事がヒットした。 Latest upgrade of P…