Focus the editor after switching fullscreen mode (fixes #45)