editor: remove trick to refocus on terminal