[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#61521: "default" is now the first item returned from (font-faces), b
From: |
Brennan Vincent |
Subject: |
bug#61521: "default" is now the first item returned from (font-faces), breaking various code. |
Date: |
Wed, 15 Feb 2023 09:01:31 -0500 |
> On Feb 15, 2023, at 07:58, Eli Zaretskii <eliz@gnu.org> wrote:
>
>
>>
>> Date: Tue, 14 Feb 2023 19:31:30 -0500
>> From: Brennan Vincent <brennan@umanwizard.com>
>>
>> Various code seems to expect "default" to be the /last/ item in the list
>> returned by that function, not the first. For example, this comment in
>> faces.el:
>>
>> ;; The `reverse' is so that `default' goes first.
>> (dolist (face (nreverse (face-list)))
>
> That comment is obsolete and needs to be changed (and the call to
> nreverse should perhaps be removed).
If the order returned by face-list is not guaranteed, then why does it do
sorting at all?
>> Also, org-html-htmlize-generate-css does not work when default comes first in
>> the list (as it skips processing all fonts after default).
>
> Isn't that a bug in that Org function? It shouldn't rely on any
> particular order.
In that case, we can consider this bug report to relate to the broken Org
function, which is how I initially discovered the face-list issue.
- bug#61521: "default" is now the first item returned from (font-faces), breaking various code., (continued)
- bug#61521: "default" is now the first item returned from (font-faces), breaking various code., Gregory Heytings, 2023/02/14
- bug#61521: "default" is now the first item returned from (font-faces), breaking various code., Brennan Vincent, 2023/02/14
- bug#61521: "default" is now the first item returned from (font-faces), breaking various code., Gregory Heytings, 2023/02/15
- bug#61521: "default" is now the first item returned from (font-faces), breaking various code., Eli Zaretskii, 2023/02/15
- bug#61521: "default" is now the first item returned from (font-faces), breaking various code., Gregory Heytings, 2023/02/15
- bug#61521: "default" is now the first item returned from (font-faces), breaking various code., Kai Ma, 2023/02/17
- bug#61521: "default" is now the first item returned from (font-faces), breaking various code., Eli Zaretskii, 2023/02/18
- bug#61521: "default" is now the first item returned from (font-faces), breaking various code., Kai Ma, 2023/02/18
- bug#61521: "default" is now the first item returned from (font-faces), breaking various code., Eli Zaretskii, 2023/02/18
bug#61521: "default" is now the first item returned from (font-faces), breaking various code., Eli Zaretskii, 2023/02/15
- bug#61521: "default" is now the first item returned from (font-faces), breaking various code.,
Brennan Vincent <=
- bug#61521: "default" is now the first item returned from (font-faces), breaking various code., Gregory Heytings, 2023/02/15
- bug#61521: "default" is now the first item returned from (font-faces), breaking various code., Eli Zaretskii, 2023/02/15
- bug#61521: "default" is now the first item returned from (font-faces), breaking various code., Brennan Vincent, 2023/02/15
- bug#61521: "default" is now the first item returned from (font-faces), breaking various code., Eli Zaretskii, 2023/02/17