diff man/files.texi @ 78873:a577ac572c4b

(widget-specify-button): Don't merge mouse-face with neighbouring buttons.
author Richard M. Stallman <rms@gnu.org>
date Sat, 22 Sep 2007 11:26:23 +0000
parents 46fd08fd44f3
children 9372af25fc19
line wrap: on
line diff