w3m-goto-url-with-timer

[Naohiro Aota <naota@xxxxxxxxx>]

青田です。

w3m-goto-url-with-timer で同じページに移動する時に履歴が増殖してしまって
いる(w3m-antenna で w3m-antenna-refresh-interval を短くするのがわかりやす
いと思います)ので、そういう場合は `(w3m-reload-this-page t)' で処理するよ
うにしました。

本題は refresh の挙動に関しての疑問と提案です。

`w3m-view-previous-page' で `w3m-use-refresh' が nil に束縛されているので、
たとえば antenna でなにかページを見る、戻るとした時に refresh が効力を持
つようにするには明示的に reload しなければいけなくなり面倒になっています。

[emacs-w3m:02469] あたりをながめてみましたが、`w3m-use-refresh' が nil に
束縛している意図がよくわかりませんでした…。

もしその意図が短い秒数での refresh が指定されている時に履歴をたどることが
難しくなる、というものであれば `w3m-use-refresh' が wait-minimum の時には、
少なくとも `w3m-refresh-minimum-interval'(新変数) に指定された秒数だけは
refresh を遅らせるようにして対策するのはいかがでしょうか?

--
青田