`startRow` in `selectedGoal` isn't correct

markokoleznik / agda-writer

A simple GUI for Agda

Other

31 stars 2 forks source link

Closed markokoleznik closed 9 years ago

markokoleznik commented 9 years ago

I'm sending wrong indexes to Agda, that's why error messages shows wrong range of an error.