ページ内検索

提供: 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


[編集] 関連

個人用ツール
名前空間

変種
操作
案内
ツール