diff options
author | Fumitoshi UKAI <ukai@debian.or.jp> | 2002-12-18 16:42:30 +0000 |
---|---|---|
committer | Fumitoshi UKAI <ukai@debian.or.jp> | 2002-12-18 16:42:30 +0000 |
commit | 8696cb81db43fde02d4d12f002414ee07fe34a27 (patch) | |
tree | 005661a2c94c3aec20e4dde76bf8fa70965baf39 /islang.c | |
parent | [w3m-dev 03581] MARK_URL, MARK_WORD (diff) | |
download | w3m-8696cb81db43fde02d4d12f002414ee07fe34a27.tar.gz w3m-8696cb81db43fde02d4d12f002414ee07fe34a27.zip |
[w3m-dev 03582] add config options graphic_char and use_proxy
* NEWS: rc: graphic_char, use_proxy
* fm.h (Do_no_use_proxy): macro using use_proxy
(use_proxy): added
(no_graphic_char): deleted
(UseGraphicChar): added
* main.c (main): UseGraphicChar, use_proxy
* rc.c (CMT_GRAPHIC_CHAR): added
(CMT_USE_PROXY): added
(params1): graphic_char
(params4): use_proxy
* terms.c (graph_ok): UseGraphicChar
From: Hironori SAKAMOTO <hsaka@mth.biglobe.ne.jp>
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions