diff options
| author | Lars Ingebrigtsen | 2016-04-29 01:41:34 +0200 |
|---|---|---|
| committer | Lars Ingebrigtsen | 2016-04-29 01:41:34 +0200 |
| commit | 21128b5ff48578b11e045ac99e061fe45d3eb89f (patch) | |
| tree | 97debf8d397027b67e02ba1e76b76b713742469e | |
| parent | 23ba488a5e8290c4de91e0ff4161641efa364c0d (diff) | |
| download | emacs-21128b5ff48578b11e045ac99e061fe45d3eb89f.tar.gz emacs-21128b5ff48578b11e045ac99e061fe45d3eb89f.zip | |
Doc fix: _ chars are automatically removed.
* lisp/cus-edit.el (custom-buffer-create): _ chars are
automatically removed when displaying help, so fix the last
doc change.
(custom-buffer-create-other-window): Ditto.
| -rw-r--r-- | lisp/cus-edit.el | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lisp/cus-edit.el b/lisp/cus-edit.el index cf98b608203..ee0f14fe90e 100644 --- a/lisp/cus-edit.el +++ b/lisp/cus-edit.el | |||
| @@ -1549,7 +1549,7 @@ Optional NAME is the name of the buffer. | |||
| 1549 | OPTIONS should be an alist of the form ((SYMBOL WIDGET)...), where | 1549 | OPTIONS should be an alist of the form ((SYMBOL WIDGET)...), where |
| 1550 | SYMBOL is a customization option, and WIDGET is a widget for editing | 1550 | SYMBOL is a customization option, and WIDGET is a widget for editing |
| 1551 | that option. | 1551 | that option. |
| 1552 | _DESCRIPTION is unused." | 1552 | DESCRIPTION is unused." |
| 1553 | (pop-to-buffer-same-window | 1553 | (pop-to-buffer-same-window |
| 1554 | (custom-get-fresh-buffer (or name "*Customization*"))) | 1554 | (custom-get-fresh-buffer (or name "*Customization*"))) |
| 1555 | (custom-buffer-create-internal options)) | 1555 | (custom-buffer-create-internal options)) |
| @@ -1562,7 +1562,7 @@ Optional NAME is the name of the buffer. | |||
| 1562 | OPTIONS should be an alist of the form ((SYMBOL WIDGET)...), where | 1562 | OPTIONS should be an alist of the form ((SYMBOL WIDGET)...), where |
| 1563 | SYMBOL is a customization option, and WIDGET is a widget for editing | 1563 | SYMBOL is a customization option, and WIDGET is a widget for editing |
| 1564 | that option. | 1564 | that option. |
| 1565 | _DESCRIPTION is unused." | 1565 | DESCRIPTION is unused." |
| 1566 | (unless name (setq name "*Customization*")) | 1566 | (unless name (setq name "*Customization*")) |
| 1567 | (switch-to-buffer-other-window (custom-get-fresh-buffer name)) | 1567 | (switch-to-buffer-other-window (custom-get-fresh-buffer name)) |
| 1568 | (custom-buffer-create-internal options)) | 1568 | (custom-buffer-create-internal options)) |