[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[PATCH] Define new face for the contents of #+RESULTS drawers
From: |
Protesilaos Stavrou |
Subject: |
[PATCH] Define new face for the contents of #+RESULTS drawers |
Date: |
Sat, 16 Sep 2023 12:38:59 +0300 |
Hello folks!
I propose the attached patch. It gives users/themes the opportunity to
style the contents of #+RESULTS drawers differently than the face
applied to ~code~ elements.
To preserve the current style, I made the new face inherit 'org-code'.
What do you think?
All the best,
Protesilaos (or simply "Prot")
--
Protesilaos Stavrou
https://protesilaos.com
0001-Define-new-face-for-the-contents-of-RESULTS-drawers.patch
Description: Text Data
- [PATCH] Define new face for the contents of #+RESULTS drawers,
Protesilaos Stavrou <=
- Re: [PATCH] Define new face for the contents of #+RESULTS drawers, Ihor Radchenko, 2023/09/16
- Re: [PATCH] Define new face for the contents of #+RESULTS drawers, Protesilaos Stavrou, 2023/09/16
- Re: [PATCH] Define new face for the contents of #+RESULTS drawers, Ihor Radchenko, 2023/09/16
- Re: [PATCH] Define new face for the contents of #+RESULTS drawers, Protesilaos Stavrou, 2023/09/16
- Re: [PATCH] Define new face for the contents of #+RESULTS drawers, Ihor Radchenko, 2023/09/17
- Re: [PATCH] Define new face for the contents of #+RESULTS drawers, Samuel Wales, 2023/09/17
- Re: [PATCH] Define new face for the contents of #+RESULTS drawers, Ihor Radchenko, 2023/09/18