diff options
| author | Pavel Janík | 2001-12-03 19:19:56 +0000 |
|---|---|---|
| committer | Pavel Janík | 2001-12-03 19:19:56 +0000 |
| commit | 6da3c85b68ac4d5d067cd6d418e3f6d0c1f2b13c (patch) | |
| tree | 3cc23f5e6f0c6eedffacbf523bc752c20b19b311 /src | |
| parent | 8af54a640d6519abbb9b11777129d01aaf2ab3cd (diff) | |
| download | emacs-6da3c85b68ac4d5d067cd6d418e3f6d0c1f2b13c.tar.gz emacs-6da3c85b68ac4d5d067cd6d418e3f6d0c1f2b13c.zip | |
(syms_of_xdisp): Make `tool-bar-button-relief` an option.
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, |