diff make-dist @ 20275:0e102e83c51d

(isearch-yank-string): New helper function. (isearch-yank-kill, isearch-yank-word, isearch-yank-line): Use it. (isearch-yank-x-selection): New function. (isearch-yank): Function deleted.
author Karl Heuer <kwzh@gnu.org>
date Tue, 18 Nov 1997 22:31:16 +0000
parents 72b506b0fbcc
children 036dac77f78f
line wrap: on
line diff