comparison man/widget.texi @ 31461:c613942bdf43

(menu-bar-options-menu): Fix the font-lock toggle.
author Dave Love <fx@gnu.org>
date Thu, 07 Sep 2000 13:50:53 +0000
parents 33d2bde9a99a
children f4da0c6d4336
comparison
equal deleted inserted replaced
31460:30806f88340f 31461:c613942bdf43