edwinb/Idris-dev — pull request #486 by david-christiansen (2013-09-17 07:53:28+00:00)
Title: Keep colour theme on REPL reload

Now, the colour theme is no longer thrown out when using :r or :l.