Jan-Åke Larsson wrote: > "\[([0-9]+) .*?depth=(-?[0-9]+) height=(-?[0-9]+)"
Okay, I haven't been as diligent as I should. There may be a starting
paranthesis instead of a space after the page number. A working pattern
is
metrics_re = re.compile(\
"\[([0-9]+)[ \[\(<].*?depth=(-?[0-9]+) height=(-?[0-9]+)" \
)
/JÅ
_______________________________________________
auctex-devel mailing list
[email protected]
http://lists.gnu.org/mailman/listinfo/auctex-devel
