Subject: bug#61567: 30.0.50; Define display-time-time-and-date-indicator face

From: Robert Pluim <[email-masked]>
Date: Fri, 17 Feb 2023 13:43:14 +0100

>>>>> On Fri, 17 Feb 2023 14:35:45 +0200, Eli Zaretskii <[email-masked]> said:

    >> From: Protesilaos Stavrou <[email-masked]>
    >> Cc: Eli Zaretskii <[email-masked]>, [email-masked]
    >> Date: Fri, 17 Feb 2023 13:33:12 +0200
    >> 
    >> Okay.  Any thoughts on renaming the face to 'display-time-face'?  Maybe
    >> some other name is better?

    Eli> Please don't end the face's name with "-face".  I suggest
    Eli> display-time-date-and-time instead.

I think we have a winner

Robert
--