PhpStormで、突然すべてのエディタタブが閉じられてしまう不具合

PhpStorm 2023.1.3 にアップデートしたら、開いていたエディタタブがときどき急に全部閉じられるようになった。

「IDEの修復」も「キャッシュの破棄」も効果が無かったので、IntelliJの掲示板で調べたところ、まず次の記事がヒットした。
Latest upgrade of PHPstorm closes opened files and collapses project tree : WI-72574
重複チケットがたくさんあるので読んでいくとわかってきた。
OneDrive上にプロジェクトがあるときに発生する不具合らしい。

PhpStormではフォーカスが合うたびにプロジェクトのファイルの状態をチェックして同期をおこなうが、裏でOneDriveで更新チェックが動作しているとそこが頭おかしくなり、
プロジェクトの再読み込みが発生してその結果エディタタブが全部閉じられた状態から再スタートになるっぽい。
対策としては、このファイルの同期機能をオフにする

Available workarounds for now:
Untick File | Settings | Appearance & Behavior | System Settings > Synchronize external changes when switching to the IDE window or opening an editor tab to disable constant file syncs and avoid project rescan;
OneDrive: Project constantly re-indexing and closing all editor tabs on IDE focus change : IDEA-323445

日本語メニューだと
「ファイル」⇒「設定」⇒「外観＆振る舞い」⇒「システム設定」の
「フレームまたはエディタータブの有効化時にファイルを同期する」をオフにする。