fixes reopening of editors