diff options
| author | Thierry Volpiatto <thierry.volpiatto@gmail.com> | 2017-04-15 07:24:53 +0200 |
|---|---|---|
| committer | Thierry Volpiatto <thierry.volpiatto@gmail.com> | 2017-04-15 07:24:53 +0200 |
| commit | 06fa3227227abbc0ec6abc40ecf36af74ee6b94d (patch) | |
| tree | b71455c4a54a4ab1a46137acc35ceeb2620699c0 /helm-grep.el | |
| parent | fb637c429b4117dde206d6e09a525c3a8941dc82 (diff) | |
Show non existent bookmarks in different color.
* helm-bookmark.el (helm-bookmark-file-not-found): New face.
(helm-highlight-bookmark): Use it.
Diffstat (limited to 'helm-grep.el')
0 files changed, 0 insertions, 0 deletions