Safariの「ページ内検索」機能はiOS 4.2で導入されたため、新しいものではありません。iOS 5までは、この機能を使うには、右上の「Google」検索バーをタップして入力を開始する必要がありました。Googleが候補を表示すると同時に、画面下部に「このページ内」というオプションも表示されていました。
iOS 5 ではこの機能がキーボードに直接提供されるため、iPad 上でよりスムーズに操作できるようになります。
これを有効にするには、Safari 画面の右上にある「Google」バー(またはデフォルトの検索プロバイダー)をタップすると、キーボードの上部に簡単にアクセスできる「ページ内検索」検索ボックスが付いたキーボードが表示されます。
入力を開始すると、一致する単語が黄色のマークでハイライト表示されるので、ページ上で簡単に見つけることができます。また、矢印キーを使って次の単語や前の単語に移動することもできます。
この機能はまだ文書化されていないと思いますが、iOS 5 の新機能のリストに追加されたのは確かに素晴らしい機能です。
どう思いますか?