diff make-dist @ 9518:69072971d37e

(menu-bar-update-buffers-1): New subroutine broken out of menu-bar-update-buffers. Truncate the file name and discard the nondirectory part. (menu-bar-update-buffers): Discard middle of long buffer names.
author Richard M. Stallman <rms@gnu.org>
date Thu, 13 Oct 1994 18:20:15 +0000
parents 014e2214b8cb
children 35cdd4523abf
line wrap: on
line diff