Added a work-around for the API not respecting focus for split editors (#78).