idris-hackers/idris-mode — pull request #283 by david-christiansen (2014-12-30 20:26:06+00:00)
Title: Only check for changed flags if Idris is running

This can prevent launching Idris twice when users have non-default
flags.

Fixes #278. Thanks to @jech for the issue report and the fix.