diff man/woman.texi @ 56262:29d03615f533

(perform-replace): Highlight the match even in non-query mode if there is potential replace string editing.
author David Kastrup <dak@gnu.org>
date Sat, 26 Jun 2004 18:35:18 +0000
parents 746c40973d25
children 56ad74aa4129 eb7e8d483840
line wrap: on
line diff