CoqIDE: do not unfocus if not needed on errors (closes: 3197)