Don't use .extend() (doesn't work in python 1.5)

git-svn-id: svn://svn.lyx.org/lyx/lyx-devel/trunk@5133 a592a061-630c-0410-9148-cb99ea01b6c8
This commit is contained in:
Dekel Tsur 2002-08-28 12:02:55 +00:00
parent eb395d9d31
commit 2421f91530

View File

@ -41,10 +41,7 @@ def update_tabular(lines):
break
new_table = table_update(lines[i:j])
tail = lines[j:]
lines[i:] = []
lines.extend(new_table)
lines.extend(tail)
lines = lines[:i] + new_table + lines[j:]
i = i + len(new_table)
col_re = re.compile(r'<column alignment="(\d)" valignment="(\d)" leftline="(\d)" rightline="(\d)" width="(.*)" special="(.*)">')