diff options
| author | Juri Linkov | 2018-02-22 23:51:41 +0200 |
|---|---|---|
| committer | Juri Linkov | 2018-02-22 23:51:41 +0200 |
| commit | 8ba61ffd8cebb0ff9f7a219022f3c1f3eac2f6d0 (patch) | |
| tree | 647d18aac500c3a8542fa3efa759c8ac2155402d /etc | |
| parent | 6bfb754c3ee2e0d667d36fb4300e2880715ea895 (diff) | |
| download | emacs-8ba61ffd8cebb0ff9f7a219022f3c1f3eac2f6d0.tar.gz emacs-8ba61ffd8cebb0ff9f7a219022f3c1f3eac2f6d0.zip | |
* lisp/progmodes/grep.el (grep-find-hide): New defcustom (bug#30503).
(grep-find-hide-properties): New variable.
(grep-mode-font-lock-keywords): Put grep-find-hide-properties
on part of grep command line.
(grep-find-show): New function.
* doc/emacs/building.texi (Grep Searching): Document grep-find-hide.
Diffstat (limited to 'etc')
| -rw-r--r-- | etc/NEWS | 7 |
1 files changed, 7 insertions, 0 deletions
| @@ -182,6 +182,13 @@ by default. | |||
| 182 | 182 | ||
| 183 | ** Gamegrid | 183 | ** Gamegrid |
| 184 | 184 | ||
| 185 | ** grep | ||
| 186 | |||
| 187 | *** rgrep, lgrep and zrgrep now hide part of the command line | ||
| 188 | that contains a list of ignored directories and files. | ||
| 189 | Clicking on the button with ellipsis unhides the truncated part. | ||
| 190 | This truncation can be disabled by the new option 'grep-find-hide'. | ||
| 191 | |||
| 185 | ** ERT | 192 | ** ERT |
| 186 | 193 | ||
| 187 | +++ | 194 | +++ |