branch: externals/modus-themes
commit 34a67fe53051db82da1d1b680604075abca17dc7
Author: Protesilaos Stavrou <i...@protesilaos.com>
Commit: Protesilaos Stavrou <i...@protesilaos.com>
Remove bold face from 'vundo-saved'
It should only be there for the vundo-last-saved. I was undoing for
testing purposes and forgot to redo before committing...
As with commit 4be8ac6, this is discussed in issue 79 on the GitHub
mirror: <https://github.com/protesilaos/modus-themes/issues/79>
---
modus-themes.el | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/modus-themes.el b/modus-themes.el
index 0071930f4e..bdb7c401f4 100644
--- a/modus-themes.el
+++ b/modus-themes.el
@@ -3838,7 +3838,7 @@ FG and BG are the main colors."
;;;;; vundo
`(vundo-highlight ((,c :inherit (bold vundo-node) :foreground
,red-intense)))
`(vundo-last-saved ((,c :inherit (bold vundo-node) :foreground
,cyan-intense)))
- `(vundo-saved ((,c :inherit (bold vundo-node) :foreground ,cyan-intense)))
+ `(vundo-saved ((,c :inherit vundo-node :foreground ,cyan-intense)))
;;;;; wcheck-mode
`(wcheck-default-face ((,c :foreground ,red :underline t)))
;;;;; web-mode
