09/02/28 13:24:34 O5EY3MSa0
度々 スレ汚し すまんが，
>>186，>>195 の userJS の修正だ．
URLﾘﾝｸ(www.vipper.org)
>>195の修正版だが，
encodeURI を 使ったことで慢心して，『#』以前もエンコードかけたので，
一部urlで 移動に失敗することがあった．
よく挙動を調べてみたら，
url を設定すべきところ(href属性 等) に 『%』が入ったものが設定されると，
自動的に『%25』に変換される，とか されるみたい．
なんで，『「#」以降』を encodeURI して，『%』を『.』に修正する，
という方向でエンコードしてみた．
多分，href属性 とか，url に相当するものは，
opera で 内部的に 『%??』の形式に(多分 utf-8 で) エンコードして保持してる．
けど，id属性 なんかは 普通の(エンコードされてない) 文字として保持してる．
なんか 扱い 気持ち悪いね．