>>675
一応user.js設定ファイルからデフォルト値を指定できるようにはなっていますが仕組みが複雑なのと設定インターフェースを決めかねていて放置されています