ページ内検索
拡張あれこれさんはとんでもないOperaの使い方をしているような気がします。
「パーソナルバー」に出せる検索欄は、検索エンジン固定です。
他のバーには外観設定から検索欄を設置でき、特に「アドレスバー」にはデフォルトで検索欄がアドレス欄の右隣に置いてあるのですが、そこではキーボードの↓↑で検索エンジンを選べます。
もしこの検索エンジン固定でない検索欄が出ている状態で、Use Integrated Searchにチェックを入れていると、Ctrl+Fを押したときにその検索欄にフォーカスが移り、自動的にページ内検索が選択されます。
繰り返しになりますが、Use Integrated Searchにチェックを入れていても、ページ内検索専用の検索欄が表示されていない場合、かつ、検索エンジン固定でない検索欄が表示されていない場合には「『Ctrl+F』を押すといつもの鬱陶しいページ内検索のダイアログが出てくる」ことになります。
コメント欄が無いのでこんなところからコメント。当人が読んでくれたら嬉しい。
この件については解決してたみたいで、お恥ずかしい。
opera:configのUse Integrated Searchの変更後は再起動の必要はありません。opera:configを変更して再起動の必要な項目はほとんど無いはず。確か1回ぐらいしかお目にかかったことがない気が。
別に反論したい訳ではないのですが、Firefoxだって使い倒さないと使えないと思いますね。about:configの browser.tabs.tabMaxWidth と browser.tabs.tabMinWidth や、browser.tabs.closeButtons などのことを言っているのです。
