diff src/widget.h @ 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 29053ba75ce5
children 695cf19ef79e d7ddb3e565de
line wrap: on
line diff