[Date Prev][Date Next][Thread Prev][][Date Index][Thread Index]

history of redisplay



w3m-redisplay-this-page() ですが、w3m-reload-this-page() と違っ
て history のケアをしていないため、"r" を押すたびに history のツ
リー?が伸びていってしまいます。

おそらく

    (let ((w3m-history-reuse-history-elements 'reload))
      (w3m-goto-url w3m-current-url 'redisplay))

な感じで良いとは思うのですが。。。

# というわけで、他力本願モードです > 山岡さん

P.S.
有沢さん、なんどもなんどもすいません。顔を洗って出直します。

## そういえばそのころはとっても忙しかったのでした ^^;

-- 
白井秀行 (mailto:shirai@meadowy.org)