On 2016-01-20, at 09:29, Oleh Krehel <[email protected]> wrote:

> Hi Marcin,
>
> I have this in my config:
>
> (defadvice kill-compilation (after ora-disable-compiling-message activate)
>   (setq compilation-in-progress nil))

Thanks, (setq compilation-in-progress nil) did the trick!

> Haven't seen that message for a very long time, the above code
> probably disables it.
>
> Oleh

Best,

-- 
Marcin Borkowski
http://octd.wmi.amu.edu.pl/en/Marcin_Borkowski
Faculty of Mathematics and Computer Science
Adam Mickiewicz University

_______________________________________________
auctex mailing list
[email protected]
https://lists.gnu.org/mailman/listinfo/auctex

Reply via email to