09/04/06 02:29:50 DjsznrbP0
>>486
javascriptを使えば上下逆でも置換出来るよ。
[Patterns]
Name = "New HTML filter"
Active = TRUE
URL = "$TYPE(htm)"
Limit = 256
Match = "(<h1(\s[^>]+|)> ([^<]+)\1</h1 >)\0$STOP()"
Replace = "\0\r\n<script type="text/javascript">document.title = "\1".replace(/[\\r\\n]+/g,"").replace(/\\s+$/,"")</script>\r\n"
.replace() はタイトルに含まれる余計な空白や改行を削除するために入れた。
このフィルタを使うと
1. h1要素にマッチさせ、タイトルの文字列を取得。
2. h1要素の後ろにjavascriptを挿入。
3. ブラウザがjavascriptを実行し、タイトルが書き換えられる。
という感じで動いてくれる。
タイトル以外のものを置換したい場合はjavascriptのDOMやinnerHTMLを使って置換して。