検索オプション

ググると検索ボタンの下当たりに出る検索オプション。今日みたらアレが無くなってた。 ちょっと探してみたらもっとツールを見るに統合されたっぽい。というかそっちのほうが便利ね