>>312
履歴を常に開いてブックマーク頻繁に使う人には気になるのよ。
削除時に表示が更新されないだけでなく、訪問済みのページを開くと履歴上で表示がダブったりもするしね。
F5押すとかで手動ででも更新させれるんならなんぼかましなんだが
履歴窓を一旦閉じて開き直すのは面倒だ。