[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] Define new face for the contents of #+RESULTS drawers
|
From: |
Samuel Wales |
|
Subject: |
Re: [PATCH] Define new face for the contents of #+RESULTS drawers |
|
Date: |
Sun, 17 Sep 2023 14:36:44 -0700 |
perhaps a face for results to indicate that it is generated?
On 9/17/23, Ihor Radchenko <yantar92@posteo.net> wrote:
> Protesilaos Stavrou <info@protesilaos.com> writes:
>
>> Though I understand now that there are more cases involved than I had
>> anticipated. I will need to review everything on offer. Let's abort
>> this effort for now.
>
> Ok. Closing.
> Canceled.
>
> --
> Ihor Radchenko // yantar92,
> Org mode contributor,
> Learn more about Org mode at <https://orgmode.org/>.
> Support Org development at <https://liberapay.com/org-mode>,
> or support my work at <https://liberapay.com/yantar92>
>
>
--
The Kafka Pandemic
A blog about science, health, human rights, and misopathy:
https://thekafkapandemic.blogspot.com