diff options
| author | Pavel Janík <Pavel@Janik.cz> | 2001-12-03 19:19:56 +0000 |
|---|---|---|
| committer | Pavel Janík <Pavel@Janik.cz> | 2001-12-03 19:19:56 +0000 |
| commit | 6da3c85b68ac4d5d067cd6d418e3f6d0c1f2b13c (patch) | |
| tree | 3cc23f5e6f0c6eedffacbf523bc752c20b19b311 | |
| parent | 8af54a640d6519abbb9b11777129d01aaf2ab3cd (diff) | |
| download | emacs-6da3c85b68ac4d5d067cd6d418e3f6d0c1f2b13c.tar.gz emacs-6da3c85b68ac4d5d067cd6d418e3f6d0c1f2b13c.tar.bz2 emacs-6da3c85b68ac4d5d067cd6d418e3f6d0c1f2b13c.zip | |
(syms_of_xdisp): Make `tool-bar-button-relief` an option.
| -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. */); Vtool_bar_button_margin = make_number (DEFAULT_TOOL_BAR_BUTTON_MARGIN); DEFVAR_INT ("tool-bar-button-relief", &tool_bar_button_relief, - doc: /* Relief thickness of tool-bar buttons. */); + doc: /* *Relief thickness of tool-bar buttons. */); tool_bar_button_relief = DEFAULT_TOOL_BAR_BUTTON_RELIEF; DEFVAR_LISP ("fontification-functions", &Vfontification_functions, |