Safariの調子が悪くなったり、フラッシュなどのコンテンツの動作が遅くなったときの対処方法として「キャッシュのクリア」がある。実際に、コンテンツ提供元のサポートページに対応策として書かれていることも。
ところが、現在のSafariはどこを探してもキャッシュをクリアする設定やメニューがないのが現状。そのため、クリーニングツールなどを使う人もいるようだが、初期設定では隠れているSafariの[開発]メニューを表示すれば簡単にキャッシュをクリアできるのだ。
[Safari]メニューから[環境設定]を選び、[詳細]をクリックして[メニューバーに"開発"メニューを表示]にチェック。これでメニューバーに[開発]→[キャッシュを空にする]が選択できるようになる。