[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#57639: [PATCH] Add new command 'toggle-theme'
From: |
Lars Ingebrigtsen |
Subject: |
bug#57639: [PATCH] Add new command 'toggle-theme' |
Date: |
Mon, 12 Sep 2022 13:12:27 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/29.0.50 (gnu/linux) |
Philip Kaludercic <philipk@posteo.net> writes:
> OK, now I understand what confused me. It certainly sounds interesting,
> I just wonder what "features" there really are, or should it be kept
> open-ended (i.e. any theme can specify any number of attributes)?
Yes, it's open-ended.
- bug#57639: [PATCH] Add new command 'toggle-theme', (continued)
- bug#57639: [PATCH] Add new command 'toggle-theme', Philip Kaludercic, 2022/09/07
- bug#57639: [PATCH] Add new command 'toggle-theme', Lars Ingebrigtsen, 2022/09/08
- bug#57639: [PATCH] Add new command 'toggle-theme', Philip Kaludercic, 2022/09/11
- bug#57639: [PATCH] Add new command 'toggle-theme', Lars Ingebrigtsen, 2022/09/11
- bug#57639: [PATCH] Add new command 'toggle-theme', Lars Ingebrigtsen, 2022/09/11
- bug#57639: [PATCH] Add new command 'toggle-theme', Philip Kaludercic, 2022/09/11
- bug#57639: [PATCH] Add new command 'toggle-theme', Lars Ingebrigtsen, 2022/09/11
- bug#57639: [PATCH] Add new command 'toggle-theme', Philip Kaludercic, 2022/09/11
- bug#57639: [PATCH] Add new command 'toggle-theme', Lars Ingebrigtsen, 2022/09/12
- bug#57639: [PATCH] Add new command 'toggle-theme', Philip Kaludercic, 2022/09/12
- bug#57639: [PATCH] Add new command 'toggle-theme',
Lars Ingebrigtsen <=
- bug#57639: [PATCH] Add new command 'toggle-theme', Po Lu, 2022/09/12
- bug#57639: [PATCH] Add new command 'toggle-theme', Michael Albinus, 2022/09/12
- bug#57639: [PATCH] Add new command 'toggle-theme', Po Lu, 2022/09/13
- bug#57639: [PATCH] Add new command 'toggle-theme', Philip Kaludercic, 2022/09/12
- bug#57639: [PATCH] Add new command 'toggle-theme', Po Lu, 2022/09/12
- bug#57639: [PATCH] Add new command 'toggle-theme', Lars Ingebrigtsen, 2022/09/13
- bug#57639: [PATCH] Add new command 'toggle-theme', Philip Kaludercic, 2022/09/14
- bug#57639: [PATCH] Add new command 'toggle-theme', Lars Ingebrigtsen, 2022/09/14
- bug#57639: [PATCH] Add new command 'toggle-theme', Philip Kaludercic, 2022/09/14
- bug#57639: [PATCH] Add new command 'toggle-theme', Lars Ingebrigtsen, 2022/09/14