Use color REPL after writing a def