GNU bug report logs - #57639
[PATCH] Add new command 'toggle-theme'

Previous Next

Full log

View this message in rfc822 format

From: Stefan Monnier <monnier <at> iro.umontreal.ca>
To: Eli Zaretskii <eliz <at> gnu.org>
Cc: philipk <at> posteo.net, larsi <at> gnus.org, info <at> protesilaos.com, 57639 <at> debbugs.gnu.org
Subject: bug#57639: [PATCH] Add new command 'toggle-theme'
Date: Wed, 19 Oct 2022 08:25:26 -0400

Eli Zaretskii [2022-10-19 13:59:33] wrote:
>> From: Stefan Monnier <monnier <at> iro.umontreal.ca>
>> Cc: Philip Kaludercic <philipk <at> posteo.net>,  larsi <at> gnus.org,
>>   57639 <at> debbugs.gnu.org,  info <at> protesilaos.com
>> Date: Tue, 18 Oct 2022 22:43:14 -0400
>> 
>>     ** Themes have special autoload cookies.
>>     All build-in themes are scraped for ;;;###theme-autoload cookies that
>>     are loaded along with the regular auto-loaded code.
>> 
>> but I can't see any good reason why Emacs users should care about that.
>> It seems like a purely internal hack (and given the restrictions on
>> what can be autoloaded this way, we probably shouldn't advertise it too
>> loudly, unless accompanied with appropriate warnings).
>
> NEWS is not just for users, it is also for developers, in particular
> developers of themes.

But the above is only potentially useful for those themes that are
built-in.  That's a mighty small audience, if you ask me, and IIUC that
audience was already part of the discussion that introduced this change,
so they won't learn it from etc/NEWS :-(


        Stefan

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.