Am Thu, 26 Jul 2018 01:13:23 +0200 schrieb Hans Hagen: > i changed the error to: > > ! error: (pdf backend): scheduled object is already used > > so we still quit as we do with other errors, but with a less dramatic > PANIC message.
Much better ;-). Thanks. -- Ulrike Fischer http://www.troubleshooting-tex.de/
