4970 |
(< (setq element-common-end |
(< (setq element-common-end |
4971 |
(+ element-start common-string-length)) |
(+ element-start common-string-length)) |
4972 |
maxp)) |
maxp)) |
4973 |
(when (and (get-char-property element-start 'mouse-face) |
(when (get-char-property element-start 'mouse-face) |
4974 |
(get-char-property element-common-end 'mouse-face)) |
(if (get-char-property (1- element-common-end) 'mouse-face) |
4975 |
(put-text-property element-start element-common-end |
(put-text-property element-start element-common-end |
4976 |
'font-lock-face 'completions-common-part) |
'font-lock-face 'completions-common-part)) |
4977 |
(put-text-property element-common-end (1+ element-common-end) |
(if (get-char-property element-common-end 'mouse-face) |
4978 |
'font-lock-face 'completions-first-difference))))) |
(put-text-property element-common-end (1+ element-common-end) |
4979 |
|
'font-lock-face 'completions-first-difference)))))) |
4980 |
;; Insert help string. |
;; Insert help string. |
4981 |
(goto-char (point-min)) |
(goto-char (point-min)) |
4982 |
(if (display-mouse-p) |
(if (display-mouse-p) |