It's enabled when the REPL is not running and disabled when the REPL is stopped. I think it should be the other way around:  
It's enabled when the REPL is not running and disabled when the REPL is stopped. I think it should be the other way around: