I almost always use synctex, so that's a personal possibility, but I'm also programming for others who might not.

What about the `stop_run` callback? Are the files closed by the time the final message is being spit out?
--
✝✝✝✝✝✝✝✝✝✝✝✝✝✝✝✝✝✝✝✝✝✝✝✝✝
Br. Samuel, OSB
St. Anselm’s Abbey
Washington, DC
(R. Padraic Springuel)

PAX ☧ ΧΡΙΣΤΟΣ

Reply via email to