Firefox用のGreasemonkey拡張機能のファンなら、UIにこれに対するオプションがないため、スクリプトエディター/ビューアーを変更する方法を疑問に思うかもしれません。一部のWebサイトからスクリプトをダウンロードし、下位のデフォルトエディターで行末が機能しない場合は、さらに悪化します。
聖なるごちゃ混ぜのメモ帳、バットマン!
Greasemonkeyスクリプトエディタを変更する
タイプ about:config アドレスバーに入力し、次のようにフィルタリングします。
グリースモンキーエディター
キーが存在しない場合は、空の領域を右クリックして新しい文字列を作成し、次の値を指定します。
- キー名 :greasemonkey.editor
- キーバリュー :メモ帳ほど吸わないエディターへのフルパス。
このヒントは、Firefoxをサポートするすべてのオペレーティングシステムで機能するはずです。これを行う方法を忘れて記事に刺激を与えてくれたダニエルに感謝します。 =)