Error process-filter/sentinel when exec w3m-delete-buffer

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

白井です。

mode-line に取得状況(？)を表示するようになってからだと思うのです
が、まだ process が動いている *w3m* buffer で
w3m-delete-buffer() などをすると、process の filter や sentinel
でエラーが発生するので、

	* w3m.el (w3m-delete-buffer, w3m-delete-other-buffers)
	(w3m-select-buffer-delete-buffer): Call `w3m-process-stop'.

としておきました。


ここまでは問題ないと思うのですが、*w3m* buffer を直接
kill-buffer したときもエラーしちゃまずいだろうということで、
w3m-process-kill-stray-processes() という関数を作って迷子の
process を kill するようにもしたのですが、少々自信がありません。

たとえば、Antenna の reload をしているときに kill-buffer すると、
迷子のプロセスがひとつだけ残ってしまうときもあるようなのです
が。。。

# というわけで、とりあえず HEAD に commit して援軍募集中 ^^;;;

-- 
白井秀行 (mailto:shirai@rdmg.mgcs.mei.co.jp)