03/01/17 18:08 HcSe8fSw
>>728
prefs.jsはPreferencesメニューで設定変更したときに書き直されるので、
自分で追加した行が消えちゃうんじゃなかったっけ。
だからuser.jsに書き足すほうが良いのではなかろうか。
03/01/17 18:08 HcSe8fSw
>>728
prefs.jsはPreferencesメニューで設定変更したときに書き直されるので、
自分で追加した行が消えちゃうんじゃなかったっけ。
だからuser.jsに書き足すほうが良いのではなかろうか。