Remove debugging messages related to Emacs getting and losing focus
Remove debugging messages related to Emacs getting and losing focus

FStarLang/fstar-mode.el,FStarLang/fstar-mode.el,FStarLang/fstar-mode.el