focus editor when switching docs on desktop
another fix for live updating current doc on remote changes