idris-hackers/idris-mode — pull request #148 by david-christiansen (2014-05-19 19:01:06+00:00)
Title: Clear the compiler notes when beginning load

The buffer is no longer killed on lack of contents in order to make it
easier to keep window layouts intact. It happens at the beginning of
loading to make slow typechecking less painful.

Fixes #123.