diff options
| author | Juri Linkov | 2005-12-04 02:42:29 +0000 |
|---|---|---|
| committer | Juri Linkov | 2005-12-04 02:42:29 +0000 |
| commit | a0bd072bedc631839f7674094528112f26514606 (patch) | |
| tree | edf546a53d63a57d9c80865bf85ae5e35f5ed5f4 | |
| parent | 544d874f7f4f7bf0e3f931a198c69bdb9befa7ad (diff) | |
| download | emacs-a0bd072bedc631839f7674094528112f26514606.tar.gz emacs-a0bd072bedc631839f7674094528112f26514606.zip | |
(completion-setup-function): Put completions-common-part
face on full completion string too (i.e. completion string without
completions-first-difference face).
| -rw-r--r-- | lisp/simple.el | 13 |
1 files changed, 7 insertions, 6 deletions
diff --git a/lisp/simple.el b/lisp/simple.el index 21e7f46dbba..451c1bc9449 100644 --- a/lisp/simple.el +++ b/lisp/simple.el | |||
| @@ -4970,12 +4970,13 @@ is the substring.)") | |||
| 4970 | (< (setq element-common-end | 4970 | (< (setq element-common-end |
| 4971 | (+ element-start common-string-length)) | 4971 | (+ element-start common-string-length)) |
| 4972 | maxp)) | 4972 | maxp)) |
| 4973 | (when (and (get-char-property element-start 'mouse-face) | 4973 | (when (get-char-property element-start 'mouse-face) |
| 4974 | (get-char-property element-common-end 'mouse-face)) | 4974 | (if (get-char-property (1- element-common-end) 'mouse-face) |
| 4975 | (put-text-property element-start element-common-end | 4975 | (put-text-property element-start element-common-end |
| 4976 | 'font-lock-face 'completions-common-part) | 4976 | 'font-lock-face 'completions-common-part)) |
| 4977 | (put-text-property element-common-end (1+ element-common-end) | 4977 | (if (get-char-property element-common-end 'mouse-face) |
| 4978 | 'font-lock-face 'completions-first-difference))))) | 4978 | (put-text-property element-common-end (1+ element-common-end) |
| 4979 | 'font-lock-face 'completions-first-difference)))))) | ||
| 4979 | ;; Insert help string. | 4980 | ;; Insert help string. |
| 4980 | (goto-char (point-min)) | 4981 | (goto-char (point-min)) |
| 4981 | (if (display-mouse-p) | 4982 | (if (display-mouse-p) |