diff man/help.texi @ 35732:1a54c78e6452

(Vtool_bar_button_margin:): Declare extern. (DEFAULT_TOOL_BAR_BUTTON_MARGIN, DEFAULT_TOOL_BAR_BUTTON_RELIEF) (DEFAULT_TOOL_BAR_IMAGE_HEIGHT): New defines.
author Gerd Moellmann <gerd@gnu.org>
date Tue, 30 Jan 2001 15:04:35 +0000
parents b298f10891e5
children 41b70b041a5a
line wrap: on
line diff