diff options
| author | Paul Eggert | 2016-10-25 12:50:31 -0700 |
|---|---|---|
| committer | Paul Eggert | 2016-10-25 12:50:31 -0700 |
| commit | 1ea669d6f0269784b3e69238fd2813f55340d53a (patch) | |
| tree | 7d29af346b2c3d9010212f43fee23c559b8e918f | |
| parent | b0eecfca560737787496ba3294bc7605a0922a2a (diff) | |
| parent | 4c3f7387df339176a94f49895c92fa6a5f526bae (diff) | |
| download | emacs-1ea669d6f0269784b3e69238fd2813f55340d53a.tar.gz emacs-1ea669d6f0269784b3e69238fd2813f55340d53a.zip | |
Merge from origin/emacs-25
4c3f738 Comment for bug#24793
| -rw-r--r-- | lisp/info.el | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/lisp/info.el b/lisp/info.el index 6b8b3698ea0..c8b8002e0cb 100644 --- a/lisp/info.el +++ b/lisp/info.el | |||
| @@ -4230,6 +4230,9 @@ With a zero prefix arg, put the name inside a function call to `info'." | |||
| 4230 | '((t :inherit fixed-pitch-serif)) | 4230 | '((t :inherit fixed-pitch-serif)) |
| 4231 | "Face used for quoted elements.") | 4231 | "Face used for quoted elements.") |
| 4232 | 4232 | ||
| 4233 | ;; We deliberately fontify only ‘..’ quoting, and not `..', because | ||
| 4234 | ;; the former can be done much more reliably, i.e. without risking | ||
| 4235 | ;; false positives. | ||
| 4233 | (defvar Info-mode-font-lock-keywords | 4236 | (defvar Info-mode-font-lock-keywords |
| 4234 | '(("‘\\([^’]*\\)’" (1 'Info-quoted)))) | 4237 | '(("‘\\([^’]*\\)’" (1 'Info-quoted)))) |
| 4235 | 4238 | ||