UserJS

Opera の UserJS は処理の仕方で具体的な仕様が異なる

前回に引き続き、モヤモヤを整理してみました。誤り等がございましたら、ご指摘をいただけると幸いです。 UserJS の拡張子により処理が異なる。 拡張子が .js の場合は、通常の UserJS として処理される。 拡張子が .user.js の場合は、GreaseMonkey 記法の …

Opera の UserJS に関するモヤモヤをスッキリさせる

私の脳内でモヤモヤしていたものを整理してみました。誤り等がございましたら、ご指摘をいただけると幸いです。Opera の UserJS とは?Opera*1 ではアクセスした Web ページに対し、追加で任意の JavaScript を適用できる機能(初期設定ではオフ)がある。その…