Some annotations are outside the margins. Please move or delete them before saving.
But there are visually no such!
I've heard of this from others but never seen it. Its not the "delete-the-margins" bug b/c that was fixed and I'm on 0.7.8.dev.
Roughly,
- I placed a rubric,
- Edited it in the list
- Undo
- placed new (edited one)
- bunch of checks
- another rubric, some undoing to place it
- next, boom.
Trying to play with it to understand more but not sure how to extract anything useful about the state... We need a built-in Pony Python terminal...!