>>163
> 思い切って「ツール」というメニューを追加してそこに
> 「お気に入り全更新チェック」と「キャッシュ内ログ検索」を移してしまうのも手ですね。

私としては、それが一番自然だと思います。また、将来的にも"ツール"は
あった方が良い気がします。