Hi Marcin, I have this in my config:
(defadvice kill-compilation (after ora-disable-compiling-message activate) (setq compilation-in-progress nil)) Haven't seen that message for a very long time, the above code probably disables it. Oleh _______________________________________________ auctex mailing list [email protected] https://lists.gnu.org/mailman/listinfo/auctex
