[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, 10 Oct 2022 10:14:41 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) |
Philip Kaludercic <philipk@posteo.net> writes:
> The last issue preventing this patch from being merged is that
> expressions marked for auto-loading are not gathered. I believe one
> option was adding etc/themes to the list of scraped directories, but
> that would require comments like
>
> ;;;###autoload
> (when (and (boundp 'custom-theme-load-path)
> load-file-name)
> ;; Add theme folder to `custom-theme-load-path' when installing over MELPA.
> (add-to-list 'custom-theme-load-path
> (file-name-as-directory (file-name-directory load-file-name))))
>
> from leuven-theme.el to be removed.
Ah, right.
Well, we could come up with a special rule for etc/themes. For
instance, we could use
;;;###theme-autoload (put ...)
for these things, and 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).
- bug#57639: [PATCH] Add new command 'toggle-theme', Philip Kaludercic, 2022/10/09
- bug#57639: [PATCH] Add new command 'toggle-theme',
Lars Ingebrigtsen <=
- 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, 2022/10/13
- bug#57639: [PATCH] Add new command 'toggle-theme', Philip Kaludercic, 2022/10/13