diff make-dist @ 8479:582ac9a744c4

(completion-base-size): New variable. (completion-list-mode): Make it local. (choose-completion): Pass its value to choose-completion-string. (choose-completion-string): New arg base-size. Use that when deciding how much to delete.
author Richard M. Stallman <rms@gnu.org>
date Sun, 07 Aug 1994 18:11:58 +0000
parents cdd772d2e59f
children f7ae124181cd
line wrap: on
line diff