[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] New LaTeX code export option: engraved
From: |
Daniel Fleischer |
Subject: |
Re: [PATCH] New LaTeX code export option: engraved |
Date: |
Sat, 07 May 2022 14:33:35 +0300 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/29.0.50 (darwin) |
Hi Timothy,
Very nice set of patches, it looks good. Listings and minted are still
workable options and your new engrave library is available. I must admit
it's not clear how to customize faces since engrave is a bridge between
major modes choices and latex but maybe show one or two examples (say
elisp and python) of how to change/override some face.
I think next we should apply these patches and be open to feedback
about source code latex export using these new changes. I also wish
there was a bit more documentation, but we can add more with time.
Maybe some feedback from Nicolas G.?
Best,
--
Daniel Fleischer
- Re: [PATCH] New LaTeX code export option: engraved, (continued)
Re: [PATCH] New LaTeX code export option: engraved, Daniel Fleischer, 2022/05/05
Re: [PATCH] New LaTeX code export option: engraved, Ihor Radchenko, 2022/05/05
- Re: [PATCH] New LaTeX code export option: engraved, Timothy, 2022/05/05
- Re: [PATCH] New LaTeX code export option: engraved, Timothy, 2022/05/05
- Re: [PATCH] New LaTeX code export option: engraved, Ihor Radchenko, 2022/05/07
- Re: [PATCH] New LaTeX code export option: engraved, Timothy, 2022/05/07
- Re: [PATCH] New LaTeX code export option: engraved, Timothy, 2022/05/07
- Re: [PATCH] New LaTeX code export option: engraved,
Daniel Fleischer <=
- Re: [PATCH] (v2) New LaTeX code export option: engraved, Timothy, 2022/05/08
- Re: [PATCH] (v2) New LaTeX code export option: engraved, Ihor Radchenko, 2022/05/09
- Re: [PATCH] (v2) New LaTeX code export option: engraved, Timothy, 2022/05/09
- Re: [PATCH] (v2) New LaTeX code export option: engraved, Max Nikulin, 2022/05/10
- Re: [PATCH] (v2) New LaTeX code export option: engraved, Ihor Radchenko, 2022/05/11
Re: [PATCH] (v3) New LaTeX code export option: engraved, Timothy, 2022/05/11
Re: [PATCH] (v3) New LaTeX code export option: engraved, Daniel Fleischer, 2022/05/12
Re: [PATCH] (v3) New LaTeX code export option: engraved, Timothy, 2022/05/12
Re: [PATCH] New LaTeX code export option: engraved, Max Nikulin, 2022/05/05
Re: [PATCH] New LaTeX code export option: engraved, Ihor Radchenko, 2022/05/07