diff options
| author | Fumitoshi UKAI <ukai@debian.or.jp> | 2002-06-01 17:09:04 +0000 |
|---|---|---|
| committer | Fumitoshi UKAI <ukai@debian.or.jp> | 2002-06-01 17:09:04 +0000 |
| commit | 900682ebd541cad4fceb918c0ec37c3b1f98c78b (patch) | |
| tree | 494cc6e76a948f9da7ed9dfc1d22e2c3b1b1a11f /gc/setjmp_t.c | |
| parent | [w3m-dev 03200] Re: New configuration option ``keymap_file'' and new command ... (diff) | |
| download | w3m-900682ebd541cad4fceb918c0ec37c3b1f98c78b.tar.gz w3m-900682ebd541cad4fceb918c0ec37c3b1f98c78b.zip | |
[w3m-dev-en 00748] PATCH: Reinitialize w3m while running
* funcname.tab (INIT_MAILCAP): deleted
(REINIT): added
* main.c (config_filename): added
(reinit): added
* proto.h (reinit): added
* rc.c (rc_initialized): deleted
* w3mhelperpanel.c (editMailcap): use REINIT MAILCAP
From: Tushar Samant <scribble@pobox.com>
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions