bring focus back to source view after showing REPL