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 /doc | |
| 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 'doc')
| -rw-r--r-- | doc/emacs/building.texi | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/doc/emacs/building.texi b/doc/emacs/building.texi index b6b664ddb39..91705711b84 100644 --- a/doc/emacs/building.texi +++ b/doc/emacs/building.texi | |||
| @@ -434,6 +434,12 @@ the variable @code{grep-files-aliases}. | |||
| 434 | @kbd{M-x rgrep}. The default value includes the data directories used | 434 | @kbd{M-x rgrep}. The default value includes the data directories used |
| 435 | by various version control systems. | 435 | by various version control systems. |
| 436 | 436 | ||
| 437 | @vindex grep-find-hide | ||
| 438 | The boolean option @code{grep-find-hide} controls shortening of the | ||
| 439 | displayed command line by hiding the part containing ignored | ||
| 440 | directories and files. The hidden part can be revealed by clicking on | ||
| 441 | the button with ellipsis. | ||
| 442 | |||
| 437 | @node Flymake | 443 | @node Flymake |
| 438 | @section Finding Syntax Errors On The Fly | 444 | @section Finding Syntax Errors On The Fly |
| 439 | @cindex checking syntax | 445 | @cindex checking syntax |