w3m

Unnamed repository; edit this file to name it for gitweb.
git clone https://logand.com/git/w3m.git/
Log | Files | Refs | README

commit 6779799259492d35729286274898435412d288c7
parent 257fdab73466d258507049821bd5aaac08444923
Author: ukai <ukai>
Date:   Wed, 16 Jan 2002 16:52:04 +0000

highlight for incremental search

Diffstat:
MChangeLog | 1+
MNEWS | 1+
2 files changed, 2 insertions(+), 0 deletions(-)

diff --git a/ChangeLog b/ChangeLog @@ -23,6 +23,7 @@ 2002-01-17 Hironori Sakamoto <hsaka@mth.biglobe.ne.jp> * [w3m-dev 02854] highlight for incremental search + * NEWS: highlight for incremental search * display.c (EFFECT_MARK_START): added * display.c (EFFECT_MARK_END): added * display.c (EFFECT_MARK_START_C): added diff --git a/NEWS b/NEWS @@ -1,5 +1,6 @@ w3m 0.3? +* highlight for incremental search * support migemo (romaji search) [experimental] * use w3mmail.cgi for mailto: URL * support external URI loader