diff src/widgetprv.h @ 23957:71fe29ccef4c

Added mouse-selection feature for pages directory buffer. (pages-directory-map): Bind mouse-2 (pages-copy-header-and-position): Put text property. (pages-directory-goto-with-mouse): New function.
author Richard M. Stallman <rms@gnu.org>
date Wed, 30 Dec 1998 00:44:59 +0000
parents ee40177f6c68
children 23a1cea22d13
line wrap: on
line diff