[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#61567: 30.0.50; Define display-time-time-and-date-indicator face
From: |
Robert Pluim |
Subject: |
bug#61567: 30.0.50; Define display-time-time-and-date-indicator face |
Date: |
Fri, 17 Feb 2023 11:31:08 +0100 |
>>>>> On Fri, 17 Feb 2023 08:37:32 +0200, Eli Zaretskii <eliz@gnu.org> said:
Eli> ** New face 'display-time-time-and-date-indicator'.
Eli> This is used for displaying the time and date components of
Eli> 'display-time-mode'.
Eli> should be enough.
>> +(defface display-time-time-and-date-indicator nil
>> + "Face of the `display-time-format'."
Eli> ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Eli> "Face for `display-time-format'."
Thatʼs a very repetitive name. How about just
`display-time-indicator-face' (although I have a vague memory of there
being a guideline to not end faces in -face)
Robert
--
- bug#61567: 30.0.50; Define display-time-time-and-date-indicator face, Protesilaos Stavrou, 2023/02/17
- bug#61567: 30.0.50; Define display-time-time-and-date-indicator face, Eli Zaretskii, 2023/02/17
- bug#61567: 30.0.50; Define display-time-time-and-date-indicator face, Protesilaos Stavrou, 2023/02/17
- bug#61567: 30.0.50; Define display-time-time-and-date-indicator face,
Robert Pluim <=
- bug#61567: 30.0.50; Define display-time-time-and-date-indicator face, Protesilaos Stavrou, 2023/02/17
- bug#61567: 30.0.50; Define display-time-time-and-date-indicator face, Robert Pluim, 2023/02/17
- bug#61567: 30.0.50; Define display-time-time-and-date-indicator face, Protesilaos Stavrou, 2023/02/17
- bug#61567: 30.0.50; Define display-time-time-and-date-indicator face, Robert Pluim, 2023/02/17
- bug#61567: 30.0.50; Define display-time-time-and-date-indicator face, Eli Zaretskii, 2023/02/17
- bug#61567: 30.0.50; Define display-time-time-and-date-indicator face, Robert Pluim, 2023/02/17
- bug#61567: 30.0.50; Define display-time-time-and-date-indicator face, Protesilaos Stavrou, 2023/02/18
- bug#61567: 30.0.50; Define display-time-time-and-date-indicator face, Basil Contovounesios, 2023/02/17
- bug#61567: 30.0.50; Define display-time-time-and-date-indicator face, Drew Adams, 2023/02/17