Kuruman Log

文字の大きさだけを変える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しか浮かばなかった。