mirror of
git://git.sv.gnu.org/emacs.git
synced 2025-12-06 06:20:55 -08:00
* man.el (Man-highlight-references0): Use make-button (Bug#7881).
This commit is contained in:
parent
9ba41eb9d9
commit
cde7e38b6b
2 changed files with 7 additions and 1 deletions
|
|
@ -1,3 +1,7 @@
|
||||||
|
2011-01-22 Chong Yidong <cyd@stupidchicken.com>
|
||||||
|
|
||||||
|
* man.el (Man-highlight-references0): Use make-button (Bug#7881).
|
||||||
|
|
||||||
2011-01-22 Phil Hagelberg <phil@evri.com>
|
2011-01-22 Phil Hagelberg <phil@evri.com>
|
||||||
|
|
||||||
* pcmpl-unix.el (pcmpl-ssh-config-file): New option.
|
* pcmpl-unix.el (pcmpl-ssh-config-file): New option.
|
||||||
|
|
|
||||||
|
|
@ -1154,7 +1154,9 @@ default type, `Man-xref-man-page' is used for the buttons."
|
||||||
(goto-char (point-min))
|
(goto-char (point-min))
|
||||||
nil)))
|
nil)))
|
||||||
(while (re-search-forward regexp end t)
|
(while (re-search-forward regexp end t)
|
||||||
(make-text-button
|
;; An overlay button is preferable because the underlying text
|
||||||
|
;; may have text property highlights (Bug#7881).
|
||||||
|
(make-button
|
||||||
(match-beginning button-pos)
|
(match-beginning button-pos)
|
||||||
(match-end button-pos)
|
(match-end button-pos)
|
||||||
'type type
|
'type type
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue