diff doc/misc/reftex.texi @ 92170:cdf4278cefa8

(compilation-handle-exit): Use compilation-error face instead of font-lock-warning-face. Display the same message in the minibuffer as is inserted at the end of the compilation buffer.
author Juri Linkov <juri@jurta.org>
date Sun, 24 Feb 2008 23:21:39 +0000
parents 5d58981e6690
children eafbd7a5c9be
line wrap: on
line diff