diff options
| author | Pavel Janík | 2001-12-02 17:21:41 +0000 |
|---|---|---|
| committer | Pavel Janík | 2001-12-02 17:21:41 +0000 |
| commit | f6c89f271b7b661cf55985666400e51ea2c9ea80 (patch) | |
| tree | ae13421e4b3ce0a998e2d2cc15a9a5f05caf6284 /src | |
| parent | a74e0dfdfdc24da778251a19c728e1422c6b98d3 (diff) | |
| download | emacs-f6c89f271b7b661cf55985666400e51ea2c9ea80.tar.gz emacs-f6c89f271b7b661cf55985666400e51ea2c9ea80.zip | |
Fix typo in doc-string.
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 4d2c4eeff02..45ed4c8c461 100644 --- a/src/xdisp.c +++ b/src/xdisp.c | |||
| @@ -14855,7 +14855,7 @@ otherwise. */); | |||
| 14855 | DEFVAR_LISP ("tool-bar-button-margin", &Vtool_bar_button_margin, | 14855 | DEFVAR_LISP ("tool-bar-button-margin", &Vtool_bar_button_margin, |
| 14856 | doc: /* *Margin around tool-bar buttons in pixels. | 14856 | doc: /* *Margin around tool-bar buttons in pixels. |
| 14857 | If an integer, use that for both horizontal and vertical margins. | 14857 | If an integer, use that for both horizontal and vertical margins. |
| 14858 | Otherwise, value should be a pair of integers `(HORZ : VERT)' with | 14858 | Otherwise, value should be a pair of integers `(HORZ . VERT)' with |
| 14859 | HORZ specifying the horizontal margin, and VERT specifying the | 14859 | HORZ specifying the horizontal margin, and VERT specifying the |
| 14860 | vertical margin. */); | 14860 | 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); |