20/10/02 06:36:16.31 HGaxhym60.net
>>578
アドオンでは無理だろうね
もともとアドオンなどでpref.jsが書き換えられても影響受けないようにユーザーが明示的に指定するのがuser.js
何でもありのXUL時代ならまだ可能だったろうけど、WebExtensionの今となってはそのためのAPIが用意されない限り不可能
外部ツール使うなら結局エディタでいいじゃんって話になる
20/10/02 06:36:16.31 HGaxhym60.net
>>578
アドオンでは無理だろうね
もともとアドオンなどでpref.jsが書き換えられても影響受けないようにユーザーが明示的に指定するのがuser.js
何でもありのXUL時代ならまだ可能だったろうけど、WebExtensionの今となってはそのためのAPIが用意されない限り不可能
外部ツール使うなら結局エディタでいいじゃんって話になる