[w3m-dev 04394] [patch] support for the <button> tag (HTML 4.01)

w3m: support for the <button> tag (HTML 4.01)
http://bugs.debian.org/136810

に上がっている <button> サポートを追加するパッチは

http://www.sic.med.tohoku.ac.jp/~satodai/w3m-dev/200203.month/3100.html

のようですが、

http://www.sic.med.tohoku.ac.jp/~satodai/w3m-dev/200203.month/3105.html

にて却下されてしまったようです。

my w3m
http://shinh.skr.jp/w3m/

でも同じようなパッチが提供されていますが、
違いがよくわかりませんでした。
# <pre_int> 〜 </pre_int> の有無？

http://github.com/shinh/w3m/commit/c64a257e6bee7bf8b27f6f21892447846b980b02
http://github.com/shinh/w3m/commit/c64a257e6bee7bf8b27f6f21892447846b980b02.diff
-- 
Regards,
	dai

GPG Fingerprint = 0B29 D88E 42E6 B765 B8D8 EA50 7839 619D D439 668E