Kuruman Log

Operaでdel.icio.usを使っている人が気をつけることと言えばただ一つ、editリンクをクリックすると表れるWeb2.0風編集画面で行った編集は反映されないということ。まぁ利用者は重々承知のことでしょう。不便なことこの上ない。

ということで、それを解決するUserJSを書いてみた。大分前にIRCで喋った時にhigeorangeさんが作っていたような気もするけれど気にしない。

不具合が改善されても気付かないってのが玉に瑕、だろうか。まぁ便利だから、使う。

• deliciousEditLinkReplacer.js

文字の大きさだけを変えるUserJSを書いたので、それを入れた。

FirefoxなんかだとCtrl++やCtrl+-に割り当てられているみたいだけれど、わざわざ２つのキーを押さえるのは煩雑なのでCtrlは押さなくて良い様にしたいところ。そんなわけで、元々+、-、*に割り当てられているズームを全てこのスクリプトを使うように書き換える事にした。

Plus            = "Go to page, "javascript:fontSizeController.increase();""
Plus ctrl       = "Go to page, "javascript:fontSizeController.increase2();""
Plus shift      = "Go to page, "javascript:fontSizeController.increase();""
Plus shift ctrl = "Go to page, "javascript:fontSizeController.increase2();""
Add ctrl        = "Go to page, "javascript:fontSizeController.increase2();""
-               = "Go to page, "javascript:fontSizeController.decrease();""
- ctrl          = "Go to page, "javascript:fontSizeController.decrease();""
- shift         = "Go to page, "javascript:fontSizeController.decrease();""
- shift ctrl    = "Go to page, "javascript:fontSizeController.decrease2();""
Dec ctrl        = "Go to page, "javascript:fontSizeController.decrease2();""
*               = "Go to page, "javascript:fontSizeController.restore();""

これで問題なし、完璧……と思いきや、私の環境だとテンキーでしか意図した通りに動いてくれない。+のアクションを起こすと新しいタブを開いてしまう。……何故?

暫く格闘してみたのだけれど、埒が明かないので諦めた。文字だけの拡大なんてそう使う機能でもないし……。

本当は*と同じアクションを=にも充てたかったのだけれど、なんと書けばいいのか分からなかった。というか、=が駄目なのは当然として、残る記述はEqualしか浮かばなかった。