[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: |
Thu, 13 Oct 2022 20:21:53 +0000 |
Lars Ingebrigtsen <larsi@gnus.org> writes:
> Philip Kaludercic <philipk@posteo.net> writes:
>
>> OK, it looks like this worked. Just to recap, these are the proposed
>> changes:
>
> Looks good to me (but I haven't actually tried the code).
I will be testing it for a day or two, and then push it.
- bug#57639: [PATCH] Add new command 'toggle-theme', (continued)
- bug#57639: [PATCH] Add new command 'toggle-theme', Lars Ingebrigtsen, 2022/10/11
- bug#57639: [PATCH] Add new command 'toggle-theme', Philip Kaludercic, 2022/10/11
- bug#57639: [PATCH] Add new command 'toggle-theme', Lars Ingebrigtsen, 2022/10/11
- bug#57639: [PATCH] Add new command 'toggle-theme', Philip Kaludercic, 2022/10/13
- bug#57639: [PATCH] Add new command 'toggle-theme', Philip Kaludercic, 2022/10/13
- bug#57639: [PATCH] Add new command 'toggle-theme', Eli Zaretskii, 2022/10/13
- bug#57639: [PATCH] Add new command 'toggle-theme', Philip Kaludercic, 2022/10/13
- bug#57639: [PATCH] Add new command 'toggle-theme', Stefan Kangas, 2022/10/13
- bug#57639: [PATCH] Add new command 'toggle-theme', Philip Kaludercic, 2022/10/13
- bug#57639: [PATCH] Add new command 'toggle-theme', Lars Ingebrigtsen, 2022/10/13
- bug#57639: [PATCH] Add new command 'toggle-theme',
Philip Kaludercic <=
bug#57639: [PATCH] Add new command 'toggle-theme', Mauro Aranda, 2022/10/13
- bug#57639: [PATCH] Add new command 'toggle-theme', Philip Kaludercic, 2022/10/13
- bug#57639: [PATCH] Add new command 'toggle-theme', Mauro Aranda, 2022/10/13
- bug#57639: [PATCH] Add new command 'toggle-theme', Philip Kaludercic, 2022/10/14
- bug#57639: [PATCH] Add new command 'toggle-theme', Mauro Aranda, 2022/10/14
- bug#57639: [PATCH] Add new command 'toggle-theme', Philip Kaludercic, 2022/10/14
- bug#57639: [PATCH] Add new command 'toggle-theme', Philip Kaludercic, 2022/10/14
- bug#57639: [PATCH] Add new command 'toggle-theme', Philip Kaludercic, 2022/10/15
bug#57639: [PATCH] Add new command 'toggle-theme', Eli Zaretskii, 2022/10/14