低レベルな質問で済みません。
急にディレクトリが更新されなくなりました。F5を押さないと最新の情報が表示されなくなりました。
カスタマイザの「ディレクトリの更新方法」を確認しましたが、選べるところは全部更新が選択されています。
177+3にしてもだめでした。どのあたりの問題でしょうか？