diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/xdisp.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/xdisp.c b/src/xdisp.c index 45ed4c8c461..d103230a698 100644 --- a/src/xdisp.c +++ b/src/xdisp.c | |||
| @@ -14861,7 +14861,7 @@ vertical margin. */); | |||
| 14861 | Vtool_bar_button_margin = make_number (DEFAULT_TOOL_BAR_BUTTON_MARGIN); | 14861 | Vtool_bar_button_margin = make_number (DEFAULT_TOOL_BAR_BUTTON_MARGIN); |
| 14862 | 14862 | ||
| 14863 | DEFVAR_INT ("tool-bar-button-relief", &tool_bar_button_relief, | 14863 | DEFVAR_INT ("tool-bar-button-relief", &tool_bar_button_relief, |
| 14864 | doc: /* Relief thickness of tool-bar buttons. */); | 14864 | doc: /* *Relief thickness of tool-bar buttons. */); |
| 14865 | tool_bar_button_relief = DEFAULT_TOOL_BAR_BUTTON_RELIEF; | 14865 | tool_bar_button_relief = DEFAULT_TOOL_BAR_BUTTON_RELIEF; |
| 14866 | 14866 | ||
| 14867 | DEFVAR_LISP ("fontification-functions", &Vfontification_functions, | 14867 | DEFVAR_LISP ("fontification-functions", &Vfontification_functions, |