ハイライト機能

Sleipnir のハイライト機能が実現する方法を考えていた．動作はたぶん簡単，HTML ファイルから検索されている文字を探して，前後に文字の背景を変更するタグを埋め込めばいい．

そこで本日，Sleipnir のハイライト機能と同じようなのを Opera に実装した．これでまた１つ Sleipnir のメリットが減った．