diff options
| author | Eli Zaretskii <[email protected]> | 2005-08-20 12:20:49 +0000 |
|---|---|---|
| committer | Eli Zaretskii <[email protected]> | 2005-08-20 12:20:49 +0000 |
| commit | 619a2c49767a1b4691de425aa9adb2d3d534db7b (patch) | |
| tree | 62d4a8f3b9c34515113ed0bc1c1ae4d2ae060e36 | |
| parent | 217b694f6af3e7e7453938fcb4c56dfc33515d8c (diff) | |
Mention compilation-disable-input.
| -rw-r--r-- | etc/NEWS | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -1299,6 +1299,10 @@ compilation processes without affecting the environment that all subprocesses inherit. +++ +*** New user option `compilation-disable-input'. +If this is non-nil, send end-of-file as compilation process input. + ++++ *** New options `next-error-highlight' and `next-error-highlight-no-select' specify the method of highlighting of the corresponding source line in new face `next-error'. |