diff man/widget.texi @ 51687:64b052fa52ff

(menu-bar-options-menu): Move mouse-set-fonts item here.
author Richard M. Stallman <rms@gnu.org>
date Sat, 28 Jun 2003 11:54:09 +0000
parents 23a1cea22d13
children b4f51d656553 d7ddb3e565de
line wrap: on
line diff