[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#20721: 25.0.50; Review default settings of Info-quoted face (Require
|
From: |
Vaidheeswaran C |
|
Subject: |
bug#20721: 25.0.50; Review default settings of Info-quoted face (Requires > texinfo-5 ???) |
|
Date: |
Sat, 13 Jun 2015 08:51:08 +0530 |
|
User-agent: |
Mozilla/5.0 (X11; Linux i686; rv:31.0) Gecko/20100101 Icedove/31.3.0 |
On Monday 08 June 2015 07:14 PM, Stefan Monnier wrote:
>> 4. (delete-dups (font-family-list)) STILL has duplicate entries.
> That sounds very odd.
>
>> > See the attached screenshot.
> That doesn't show the result of delete-dups itself, so it's hard to
> judge what this really means.
See the attached .el files.
1. font-family-list.el <-- M-: (font-family-list)
2. delete-dups-font-family-list.el <-- M-: (delete-dups
(font-family-list))
FYI,
(length (font-family-list)) = 349
(length (delete-dups (font-family-list))) = 297
bug20721-font-family-list.el
Description: Text Data
bug20721-delete-dups-font-family-list.el
Description: Text Data