idris-lang/Idris-dev — pull request #1669 by soimort (2014-10-21 22:01:33+00:00)
Title: Add missing case in runIdeSlaveCommand

Quick fix for #1668. This shall give a hint when using commands like `:x`, `:c`, `:t` without a parameter inside idris-mode - instead of crashing it.