という訳で、 toggleGuiOptions.js が最新の Vimperator だと動かなかったので動くようにしてみました。 「どこかで同じようなものが出回ってるんだろうなー」と思ってぐぐってみたけど見つからず、勉強しがてらちまちま修正してみたり。 本当は、 「Vimpera…