if len(col_info) == 3:
lines[i] = lines[i] + '"" ""'
else:
- lines[i] = "".join(col_info[:3]) + ' "%s" ""' % col_info[3]
+ lines[i] = " ".join(col_info[:3]) + ' "%s" ""' % col_info[3]
i = i + 1
while lines[i]:
document.warning("Unexpected end of inset.")
j = find_token(lines, '\\begin_inset LatexDel }{', i)
- ref = "".join(lines[i:j])
+ ref = " ".join(lines[i:j])
del lines[i:j + 1]
# play safe, clean empty lines
else:
document.warning("Unexpected end of inset.")
j = find_token(lines, '\\begin_inset LatexDel }', i)
- label = "".join(lines[i:j])
+ label = " ".join(lines[i:j])
del lines[i:j + 1]
return ref, label