I don't find a way to get rid of error labels after typesetting except clicking on them, what is always cumbersome as it forces you to jump to the trackpad/mouse and look for a closing button…
It would be great to have a shortcut, or even better, Escape button, making the magic.
Thanks a lot for this amazing package, I really use it!
I don't find a way to get rid of error labels after typesetting except clicking on them, what is always cumbersome as it forces you to jump to the trackpad/mouse and look for a closing button… It would be great to have a shortcut, or even better, Escape button, making the magic. Thanks a lot for this amazing package, I really use it!