ページ内検索
提供: Opera Wiki
ページ内検索は、表示しているWEBページ内の指定したテキストを検索して、"ハイライト表示"してくれる機能です。基本的な利用方法や管理の仕方は、ウェブ検索機能と同じです。
[編集] 専用ダイアログ
ページ内検索には、専用のダイアログが用意されています。それを利用すると、より高度なページ内検索が実行できます。専用ダイアログを表示するには、デフォルトのキーボードショートカットで「Ctrl」+「F」キーを押して下さい。専用ダイアログで実行できる機能は、以下の通りです。
- 上方一致
- 下方一致
- 完全に一致した文字列のみ(条件)
- 大文字と小文字を区別する(条件)
[編集] コード
search.ini
に書かれているページ内検索は、以下の通り。
[Search Engine 8] UNIQUEID=368291005FC211DD8DE6B90756D89593 Name=ページ内検索 URL= Query= Key=f Is post=0 Has endseparator=0 Encoding= Search Type=12 Verbtext=0 Position=-1 Nameid=0