diff options
author | Fumitoshi UKAI <ukai@debian.or.jp> | 2002-02-03 06:12:41 +0000 |
---|---|---|
committer | Fumitoshi UKAI <ukai@debian.or.jp> | 2002-02-03 06:12:41 +0000 |
commit | 63dffdd551989100dc3ad845b1f5a2126a59be6e (patch) | |
tree | 2208cf1f19c74ad407ccc98e61f04579e58e75c0 /gc/Makefile.in | |
parent | [w3m-dev 02972] (diff) | |
download | w3m-63dffdd551989100dc3ad845b1f5a2126a59be6e.tar.gz w3m-63dffdd551989100dc3ad845b1f5a2126a59be6e.zip |
[w3m-dev 02964] Print data of forms when halfdump option is set
* backend.c (print_headers): print w3m-current-url and w3m-base-url
* backend.c (print_formlist): deleted
* backend.c (internal_get): remove "if (buf->formlist) {}"
* file.c (print_internal_information): added
* file.c (loadHTMLstream): if halfdump, print_internal_information
if w3m_backend, print_internal_information
* fm.h (DUMP_HALFEXTRA): added
* main.c (-halfdump_extra): added
From: TSUCHIYA Masatoshi <tsuchiya@pine.kuee.kyoto-u.ac.jp>
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions