javascript:void(document.documentElement.lang="en")
(最終手段)Ctrl++++++"A\nA\nA\nZ".replace(/^A\n/gm, "B")
の値は "BBBZ"
。これは Grep置換と同じ。文字列が immutableな(実装はどうあれそう振る舞う) JavaScriptからヒントをもらったもう一案。行バッファをもうひとつ用意してマッチ部分(の置換済み文字列)と非マッチ部分を交互に新バッファにコピーしていく。でも「Expand(20100907p01.01)」がないんよね。検索と同時に置換してしまうと何の解決にもならないし。pre { font-size: 100%; /* IE9のUAスタイルシートが縮小するのを阻止する。*//* 100%を指定してすら縮小する WebKit/Blinkのことは知らない */
」 font-sizeの他に必要だったのは font-family: monospace, serif;
等幅で表示される要素に対してさらに monospaceを指定したりしないし、ましてまったく必要のない serifなりなんなりをくっつけたりはしない。難しすぎ。