[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 08:50:34 +0000 |
Lars Ingebrigtsen <larsi@gnus.org> writes:
> Philip Kaludercic <philipk@posteo.net> writes:
>
>> Great, can you point me to the places I would have to make changes for
>> this to work:
>>
>> add a function to loaddefs-gen that only fetched those for the
>> Emacs build (it'd almost be trivial -- we just bind
>> lisp-mode-autoload-regexp to ";;;###theme-autoload" and then
>> point the scraping function at etc/themes).
>
> I think you'd basically put something like the following into
> `loaddefs-generate--emacs-batch' --
>
> (let ((lisp-mode-autoload-regexp
> "^;;;###\\(\\(noexist\\)-\\)?\\(theme-autoload\\)"))
> (loaddefs-generate
> (expand-file-name "../etc/themes/" lisp-directory)
> (expand-file-name "theme-loaddefs.el" lisp-directory)))
>
> Then you have to teach `loaddefs-generate--make-autoload' to generate
> the correct forms as a result of the `deftheme' -- which should be some
> `put's.
OK, it looks like this worked. Just to recap, these are the proposed
changes:
0001-Tag-themes-with-properties.patch
Description: Text Data
0001-Handle-theme-autoload-comments-in-etc-themes.patch
Description: Text Data
Note that this includes changes to both the Leuven and Modus themes.
- bug#57639: [PATCH] Add new command 'toggle-theme', (continued)
- bug#57639: [PATCH] Add new command 'toggle-theme', Philip Kaludercic, 2022/10/10
- bug#57639: [PATCH] Add new command 'toggle-theme', Lars Ingebrigtsen, 2022/10/10
- bug#57639: [PATCH] Add new command 'toggle-theme', Philip Kaludercic, 2022/10/10
- bug#57639: [PATCH] Add new command 'toggle-theme', Lars Ingebrigtsen, 2022/10/10
- 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/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/11
- bug#57639: [PATCH] Add new command 'toggle-theme', Lars Ingebrigtsen, 2022/10/11
- bug#57639: [PATCH] Add new command 'toggle-theme',
Philip Kaludercic <=
- 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', Stefan Monnier, 2022/10/18
- bug#57639: [PATCH] Add new command 'toggle-theme', Philip Kaludercic, 2022/10/19
- bug#57639: [PATCH] Add new command 'toggle-theme', Stefan Monnier, 2022/10/19
- bug#57639: [PATCH] Add new command 'toggle-theme', Philip Kaludercic, 2022/10/20
- bug#57639: [PATCH] Add new command 'toggle-theme', Stefan Monnier, 2022/10/20