|
From: | goncholden |
Subject: | font-lock for comments |
Date: | Tue, 15 Feb 2022 09:33:49 +0000 |
I want to change font for comments to bold. Should I change both font-lock-comment-delimiter-face and font-lock-comment-delimiter-face ?
[Prev in Thread] | Current Thread | [Next in Thread] |