diff options
| author | jao <jao@gnu.org> | 2021-01-26 14:04:30 +0000 |
|---|---|---|
| committer | jao <jao@gnu.org> | 2021-01-26 14:04:30 +0000 |
| commit | 0c4904e4ab3d45be059304dd0aaac0c79659d51c (patch) | |
| tree | 10d34baa70a0b3c1c932063577d22865a3af50a4 /themes | |
| parent | c1ebdb9e5758c889c4e5ab4681bc8a2c7fe06d07 (diff) | |
| download | elibs-0c4904e4ab3d45be059304dd0aaac0c79659d51c.tar.gz elibs-0c4904e4ab3d45be059304dd0aaac0c79659d51c.tar.bz2 | |
wgrep faces
Diffstat (limited to 'themes')
| -rw-r--r-- | themes/jao-themes.el | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/themes/jao-themes.el b/themes/jao-themes.el index 843e164..8773cd6 100644 --- a/themes/jao-themes.el +++ b/themes/jao-themes.el @@ -1007,6 +1007,11 @@ (wg-message-face (p string)) (wg-mode-line-face nil) (wg-previous-workgroup-face (p f00)) + (wgrep-delete-face st) + (wgrep-done-face (p f00)) + (wgrep-face (p f10) ul) + (wgrep-file-face (p f01)) + (wgrep-reject-face (p error) ul) (widget-button (~ button)) (widget-button-pressed nbf (~ custom-button-pressed)) (widget-button-face (~ button)) |