(read-face-name): Delete duplicate faces.
This commit is contained in:
parent
bdd78d0586
commit
81435dc42a
1 changed files with 1 additions and 0 deletions
|
|
@ -882,6 +882,7 @@ Otherwise, return a single face."
|
|||
(push f faces)))
|
||||
(if (symbolp faceprop)
|
||||
(push faceprop faces)))
|
||||
(delete-dups faces)
|
||||
|
||||
;; Build up the completion tables.
|
||||
(mapatoms (lambda (s)
|
||||
|
|
|
|||
Loading…
Add table
Reference in a new issue