anne/lyx_mirror
1
0
Fork 0
mirror of https://git.lyx.org/repos/lyx.git synced 2025-01-04 16:42:57 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

string.join(lst) -> " ".join(lst) and not "".join(lst)

Browse Source 
git-svn-id: svn://svn.lyx.org/lyx/lyx-devel/trunk@14538 a592a061-630c-0410-9148-cb99ea01b6c8
This commit is contained in:
José Matox 2006-08-02 16:13:01 +00:00
parent 26c0f379c7
commit 7f552526fc
2 changed files with 6 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
lib/lyx2lyx/lyx_1_1_5.py
View File

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

6
lib/lyx2lyx/lyx_1_4.py
View File

@ -313,7 +313,7 @@ def revert_external_1(document):
params.reverse() params.reverse()
if document.body[i+1]: del document.body[i+1] if document.body[i+1]: del document.body[i+1]
document.body[i] = document.body[i] + " " + template[0]+ ', "' + filename[0] + '", " '+ "".join(params[1:]) + '"' document.body[i] = document.body[i] + " " + template[0]+ ', "' + filename[0] + '", " '+ " ".join(params[1:]) + '"'
i = i + 1 i = i + 1
@ -714,7 +714,7 @@ parskip}
vspace_top = document.body[i].find("\\added_space_top") vspace_top = document.body[i].find("\\added_space_top")
tmp_list = document.body[i][vspace_top:].split() tmp_list = document.body[i][vspace_top:].split()
vspace_top_value = tmp_list[1] vspace_top_value = tmp_list[1]
document.body[i] = document.body[i][:vspace_top] + "".join(tmp_list[2:]) document.body[i] = document.body[i][:vspace_top] + " ".join(tmp_list[2:])
if vspace_bot != -1: if vspace_bot != -1:
# the position could be change because of the removal of other # the position could be change because of the removal of other
@ -722,7 +722,7 @@ parskip}
vspace_bot = document.body[i].find("\\added_space_bottom") vspace_bot = document.body[i].find("\\added_space_bottom")
tmp_list = document.body[i][vspace_bot:].split() tmp_list = document.body[i][vspace_bot:].split()
vspace_bot_value = tmp_list[1] vspace_bot_value = tmp_list[1]
document.body[i] = document.body[i][:vspace_bot] + "".join(tmp_list[2:]) document.body[i] = document.body[i][:vspace_bot] + " ".join(tmp_list[2:])
document.body[i] = document.body[i].strip() document.body[i] = document.body[i].strip()
i = i + 1 i = i + 1