diff src/widget.h @ 43224:40a928d7f124

(menu-bar-showhide-menu): Rename function for toggling.
author Pavel Janík <Pavel@Janik.cz>
date Sun, 10 Feb 2002 17:26:14 +0000
parents 29053ba75ce5
children 695cf19ef79e d7ddb3e565de
line wrap: on
line diff