diff options
| author | jao <jao@gnu.org> | 2022-04-10 02:45:46 +0100 |
|---|---|---|
| committer | jao <jao@gnu.org> | 2022-04-10 02:45:46 +0100 |
| commit | 3627a60fff94e227b9cc8e0e1734cb5fe0619210 (patch) | |
| tree | e0953ed87414c335ee3b567d15b020ab7b4ec0f8 /lib/themes/jao-themes.el | |
| parent | 08e4d700ec73bac929e292000cd1e27176ee9475 (diff) | |
| download | elibs-3627a60fff94e227b9cc8e0e1734cb5fe0619210.tar.gz elibs-3627a60fff94e227b9cc8e0e1734cb5fe0619210.tar.bz2 | |
whitespace mode (lines-tail works better for me)
Diffstat (limited to 'lib/themes/jao-themes.el')
| -rw-r--r-- | lib/themes/jao-themes.el | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/themes/jao-themes.el b/lib/themes/jao-themes.el index 2310e60..efc6a9f 100644 --- a/lib/themes/jao-themes.el +++ b/lib/themes/jao-themes.el @@ -1154,6 +1154,7 @@ (wgrep-file-face (p f01)) (wgrep-reject-face (p error) ul) (widget-button (~ button)) + (whitespace-line (p error) ul) (widget-button-pressed nbf (~ custom-button-pressed)) (widget-button-face (~ button)) (widget-button-pressed-face (~ button)) |