comparison make-dist @ 13122:05bae277596e

(View-search-regexp-forward, View-search-regexp-backward): If arg is empty, use view-last-regexp. (view-overlay): New variable, local in all buffers. (view-search): Highlight the match using view-overlay. (view-exit): Delete view-overlay.
author Richard M. Stallman <rms@gnu.org>
date Thu, 05 Oct 1995 22:25:38 +0000
parents 1d30a1c68e44
children 5a333a8e0ee1
comparison
equal deleted inserted replaced
13121:4efe8fac6854 13122:05bae277596e