14861 |
Vtool_bar_button_margin = make_number (DEFAULT_TOOL_BAR_BUTTON_MARGIN); |
Vtool_bar_button_margin = make_number (DEFAULT_TOOL_BAR_BUTTON_MARGIN); |
14862 |
|
|
14863 |
DEFVAR_INT ("tool-bar-button-relief", &tool_bar_button_relief, |
DEFVAR_INT ("tool-bar-button-relief", &tool_bar_button_relief, |
14864 |
doc: /* Relief thickness of tool-bar buttons. */); |
doc: /* *Relief thickness of tool-bar buttons. */); |
14865 |
tool_bar_button_relief = DEFAULT_TOOL_BAR_BUTTON_RELIEF; |
tool_bar_button_relief = DEFAULT_TOOL_BAR_BUTTON_RELIEF; |
14866 |
|
|
14867 |
DEFVAR_LISP ("fontification-functions", &Vfontification_functions, |
DEFVAR_LISP ("fontification-functions", &Vfontification_functions, |