[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#57639: [PATCH] Add new command 'toggle-theme'
From: |
Philip Kaludercic |
Subject: |
bug#57639: [PATCH] Add new command 'toggle-theme' |
Date: |
Mon, 19 Sep 2022 10:13:46 +0000 |
Lars Ingebrigtsen <larsi@gnus.org> writes:
> Philip Kaludercic <philipk@posteo.net> writes:
>
>> I don't think so, but if a theme were concerned about this, all they
>> need to do is
>>
>> (put 'theme-name 'theme-properties '(:background-mode light :kind
>> color-scheme))
>>
>> As that is all the macro does.
>
> Ah, then that's fine -- feel free to push when you're ready.
>
>> As I said, we could do this too and add
>> a autoload-cookie before it to solve the visibility issue, but it
>> doesn't look that nice... Can (deftheme)s be autoloaded?
>
> Hm... well, anything can be put into the loaddefs.el file, really, so
> yes, but I'm not sure we want to...
I think I'll modify the patch for now and pull out the properties via
`put' calls, and maybe someone will think of a better solution later on.
- bug#57639: [PATCH] Add new command 'toggle-theme', (continued)
- bug#57639: [PATCH] Add new command 'toggle-theme', Philip Kaludercic, 2022/09/17
- bug#57639: [PATCH] Add new command 'toggle-theme', Eli Zaretskii, 2022/09/17
- bug#57639: [PATCH] Add new command 'toggle-theme', Philip Kaludercic, 2022/09/17
- bug#57639: [PATCH] Add new command 'toggle-theme', Eli Zaretskii, 2022/09/18
- bug#57639: [PATCH] Add new command 'toggle-theme', Philip Kaludercic, 2022/09/18
- bug#57639: [PATCH] Add new command 'toggle-theme', Lars Ingebrigtsen, 2022/09/18
- bug#57639: [PATCH] Add new command 'toggle-theme', Philip Kaludercic, 2022/09/18
- bug#57639: [PATCH] Add new command 'toggle-theme', Lars Ingebrigtsen, 2022/09/19
- bug#57639: [PATCH] Add new command 'toggle-theme', Philip Kaludercic, 2022/09/19
- bug#57639: [PATCH] Add new command 'toggle-theme', Lars Ingebrigtsen, 2022/09/19
- bug#57639: [PATCH] Add new command 'toggle-theme',
Philip Kaludercic <=
- bug#57639: [PATCH] Add new command 'toggle-theme', Philip Kaludercic, 2022/09/20
- bug#57639: [PATCH] Add new command 'toggle-theme', Lars Ingebrigtsen, 2022/09/20
- bug#57639: [PATCH] Add new command 'toggle-theme', Philip Kaludercic, 2022/09/20
- bug#57639: [PATCH] Add new command 'toggle-theme', Lars Ingebrigtsen, 2022/09/21
- bug#57639: [PATCH] Add new command 'toggle-theme', Philip Kaludercic, 2022/09/21
- bug#57639: [PATCH] Add new command 'toggle-theme', Lars Ingebrigtsen, 2022/09/21
- bug#57639: [PATCH] Add new command 'toggle-theme', Philip Kaludercic, 2022/09/21
- bug#57639: [PATCH] Add new command 'toggle-theme', Lars Ingebrigtsen, 2022/09/21
- bug#57639: [PATCH] Add new command 'toggle-theme', Philip Kaludercic, 2022/09/21
- bug#57639: [PATCH] Add new command 'toggle-theme', Protesilaos Stavrou, 2022/09/21