* prevents GoalManager#resetGoals from refreshing the text buffer so frequently when there's a "agda2-goal-action"
* prevents parser from throwing exceptions