[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
RE: [External] : Re: Could the current font-lock mechanism support font
From: |
Drew Adams |
Subject: |
RE: [External] : Re: Could the current font-lock mechanism support font locking code in comments? |
Date: |
Wed, 31 Mar 2021 04:38:12 +0000 |
Oops.
I guess I came into the thread late, and the request was
to have font-lock rules that apply outside comments also
apply within comments, but in a dimmed way.
Yes, that's something different from what I thought was
requested - I thought it was just to dim some faces.
- Could the current font-lock mechanism support font locking code in comments?, scame, 2021/03/30
- Re: Could the current font-lock mechanism support font locking code in comments?, Stefan Monnier, 2021/03/30
- Re: Could the current font-lock mechanism support font locking code in comments?, scame, 2021/03/30
- Re: Could the current font-lock mechanism support font locking code in comments?, Stefan Monnier, 2021/03/30
- RE: [External] : Re: Could the current font-lock mechanism support font locking code in comments?, Drew Adams, 2021/03/30
- Re: [External] : Re: Could the current font-lock mechanism support font locking code in comments?, Arthur Miller, 2021/03/30
- Re: [External] : Re: Could the current font-lock mechanism support font locking code in comments?, Stefan Monnier, 2021/03/30
- RE: [External] : Re: Could the current font-lock mechanism support font locking code in comments?, Drew Adams, 2021/03/31
- RE: [External] : Re: Could the current font-lock mechanism support font locking code in comments?,
Drew Adams <=