diff etc/enriched.doc @ 45505:59015bfc2305

(menu-bar-showhide-fringe-menu-customize-left) (menu-bar-showhide-fringe-menu-customize-right) (menu-bar-showhide-fringe-menu-customize-disable): Use proper calling convention for `customize-set-value'. Require `fringe' before setting variable.
author Miles Bader <miles@gnu.org>
date Sat, 25 May 2002 05:11:13 +0000
parents 07abc8d4c648
children d6e9f4f22388 d7ddb3e565de
line wrap: on
line diff