diff src/search.c @ 4371:fb0e37e7afae

(mouse-choose-completion): Actually choose that alternative, don't just insert its name.
author Richard M. Stallman <rms@gnu.org>
date Sat, 31 Jul 1993 05:31:58 +0000
parents 7a2e1d7362c5
children ad4add779dac
line wrap: on
line diff