diff etc/CENSORSHIP @ 35277:a959d4b99e4d

(Vtool_bar_button_margin): Replaces tool_bar_button_margin. (build_desired_tool_bar_string): Handle Vtool_bar_button_margin being a pair of margins. (syms_of_xdisp): Change DEFVAR_INT of tool-bar-button-margins to DEFVAR_LISP. Extend doc.
author Gerd Moellmann <gerd@gnu.org>
date Fri, 12 Jan 2001 15:12:10 +0000
parents e96ffe544684
children 01772baf50a3
line wrap: on
line diff