[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#57639: [PATCH] Add new command 'toggle-theme'
From: |
Stefan Kangas |
Subject: |
bug#57639: [PATCH] Add new command 'toggle-theme' |
Date: |
Wed, 7 Sep 2022 04:06:36 -0400 |
Philip Kaludercic <philipk@posteo.net> writes:
> Find below a patch for a command that a lot of custom themes
> re-implement, whenever there exists a light and dark variant.
Could/should this be generalized to more than two variants?
The gruvbox theme, for example, has these variants:
gruvbox-dark-hard
gruvbox-dark-medium
gruvbox-dark-soft
gruvbox-light-hard
gruvbox-light-medium
gruvbox-light-soft
But I'm not sure what a reasonable user interface would look like.
- bug#57639: [PATCH] Add new command 'toggle-theme', Philip Kaludercic, 2022/09/07
- bug#57639: [PATCH] Add new command 'toggle-theme',
Stefan Kangas <=
- bug#57639: [PATCH] Add new command 'toggle-theme', Lars Ingebrigtsen, 2022/09/07
- 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