[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] Define new face for the contents of #+RESULTS drawers
|
From: |
Protesilaos Stavrou |
|
Subject: |
Re: [PATCH] Define new face for the contents of #+RESULTS drawers |
|
Date: |
Sat, 16 Sep 2023 15:52:40 +0300 |
> From: Ihor Radchenko <yantar92@posteo.net>
> Date: Sat, 16 Sep 2023 12:44:37 +0000
> [... 79 lines elided]
> I am still not 100% sure what exactly you want to achieve - just
> highlight evaluation results that are _also_ fixed-width or all kinds of
> evaluation results.
The goal is to make all kinds of evaluation results distinct from their
manually written counterparts. This is for users who read/interact with
a document and are given basic instructions on what to do while still
not knowing everything Org has to offer.
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.
Thank you for your time!
--
Protesilaos Stavrou
https://protesilaos.com