Am 10.05.2011 10:09, schrieb Lars Behrens:
or, as a
workaround, tell the extension script to ignore it.
For those who need it:
Replacing
if not line.startswith('pstoedit: version'):
with
if not line.startswith(('pstoedit: version', 'Speicherzugriffsfehler',
'Segmentation fault')):
(or whatever segfault may be called the actual language) in eqtexsvg.py
helps here, as a verrry dirty workaround.
Cheerz,
Lars