w3m-redisplay-this-page use cache

[Hideyuki SHIRAI ( 白井秀行 ) <shirai@xxxxxxxxxxx>]

個人的には w3m-redisplay-this-page() するときは、

(defun w3m-redisplay-this-page (&optional arg)
  "Redisplay the current page.
If the prefix arg ARG is given, it toggles the visibility of images."
  (interactive "P")
  (if (null w3m-current-url)
      (w3m-message "Can't redisplay this page")
    (when arg
      (setq w3m-display-inline-images (not w3m-display-inline-images)))
    (let ((w3m-prefer-cache t)
	  (w3m-history-reuse-history-elements
	   ;; Don't move the history position.
	   'reload))
      (w3m-goto-url w3m-current-url 'redisplay))))

な風にして、いつでも cache を使うようにした方が良いと感じるので
すが、どうでしょうか？

w3m-redisplay-this-page() を call している -and-reset(),
-with-charset|content-type() もそれで問題なく感じます。

# 数日前に (setq w3m-prefer-cache t) を default の 
# (setq w3m-prefer-cache nil) に変えたのでした。

特に反対が無ければ commit しちゃいます。

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