diff make-dist @ 10960:d6d3905ec550

(bookmark-buffer-name): Be smarter about deducing a name. (bookmark-insert-buffer-name): Use bookmark-buffer-name. Replaces bookmark-insert-current-file-name. (bookmark-make-cell): Use set-text-properties, not format, to clear text properties.
author Richard M. Stallman <rms@gnu.org>
date Sat, 11 Mar 1995 20:17:37 +0000
parents 9b43de28b295
children 6eb8397f165b
line wrap: on
line diff