>>418
書き込みの件、about:configの"各ビューと枠との間の余白"がポイントだけど
デフォルト設定を変更しても既存のキャッシュには自動的に反映されないし、
かと言ってキャッシュの設定値を勝手に書き換えるのは異常な値の補正以外では禁じ手で悩ましい
口実を考えるとaかbどちらかかな
a) 気になる人には設定変更を案内する、新規キャッシュ向けに余白のデフォルト値は変更しておく
b) マウスカーソルの干渉はバグなので修正するって言い分にして書き込みビューの左枠部分だけ特別に余白を設定する
>>418
書き込みの件、about:configの"各ビューと枠との間の余白"がポイントだけど
デフォルト設定を変更しても既存のキャッシュには自動的に反映されないし、
かと言ってキャッシュの設定値を勝手に書き換えるのは異常な値の補正以外では禁じ手で悩ましい
口実を考えるとaかbどちらかかな
a) 気になる人には設定変更を案内する、新規キャッシュ向けに余白のデフォルト値は変更しておく
b) マウスカーソルの干渉はバグなので修正するって言い分にして書き込みビューの左枠部分だけ特別に余白を設定する