[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] Add user stylesheet support for doc-view EPUB support
From: |
Lars Ingebrigtsen |
Subject: |
Re: [PATCH] Add user stylesheet support for doc-view EPUB support |
Date: |
Mon, 07 Mar 2022 17:31:21 +0100 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/29.0.50 (gnu/linux) |
Kjartan Oli Agustsson <kjartanoli@outlook.com> writes:
> This should take care of that.
Thanks; applied to Emacs 29.
This change was small enough to apply without assigning copyright to the
FSF, but for future patches you want to submit, it might make sense to
get the paperwork started now, so that subsequent patches can be applied
speedily. Would you be willing to sign such paperwork?
> But now there's something else I'm wondering about. If I'm
> understanding `doc-view-custom-set-epub-font-size' correctly, it is
> used as the setter for `doc-view-epub-font-size' to regenerate epub
> documents when it is changed. Am I understanding this correctly, and
> if so would it make sense to do the same for the user stylesheet?
When the contents of the user stylesheet changes? I guess that would
make sense, and you could use `file-has-changed-p' to implement that.
--
(domestic pets only, the antidote for overdose, milk.)
bloggy blog: http://lars.ingebrigtsen.no
- [PATCH] Add user stylesheet support for doc-view EPUB support, Kjartan Oli Agustsson, 2022/03/06
- Re: [PATCH] Add user stylesheet support for doc-view EPUB support, Lars Ingebrigtsen, 2022/03/06
- Re: [PATCH] Add user stylesheet support for doc-view EPUB support, Kjartan Oli Agustsson, 2022/03/06
- Re: [PATCH] Add user stylesheet support for doc-view EPUB support, Kjartan Oli Agustsson, 2022/03/06
- Re: [PATCH] Add user stylesheet support for doc-view EPUB support,
Lars Ingebrigtsen <=
- Re: [PATCH] Add user stylesheet support for doc-view EPUB support, Kjartan Oli Agustsson, 2022/03/08
- Re: [PATCH] Add user stylesheet support for doc-view EPUB support, Lars Ingebrigtsen, 2022/03/09
- Re: [PATCH] Add user stylesheet support for doc-view EPUB support, Kjartan Oli Agustsson, 2022/03/09
- Re: [PATCH] Add user stylesheet support for doc-view EPUB support, Lars Ingebrigtsen, 2022/03/12
- Re: [PATCH] Add user stylesheet support for doc-view EPUB support, Kjartan Oli Agustsson, 2022/03/14
- Re: [PATCH] Add user stylesheet support for doc-view EPUB support, Lars Ingebrigtsen, 2022/03/14
- Re: [PATCH] Add user stylesheet support for doc-view EPUB support, Kjartan Oli Agustsson, 2022/03/14