anne/lyx_mirror
1
0
Fork 0
mirror of https://git.lyx.org/repos/lyx.git synced 2024-12-22 05:16:21 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Fix whitespace.

Browse Source 
git-svn-id: svn://svn.lyx.org/lyx/lyx-devel/trunk@25478 a592a061-630c-0410-9148-cb99ea01b6c8
This commit is contained in:
Richard Heck 2008-07-07 16:22:55 +00:00
parent 10f7b8cb35
commit 13f95530be
1 changed files with 27 additions and 28 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

55
lib/lyx2lyx/lyx_1_6.py
View File

@ -1117,35 +1117,34 @@ def revert_href(document):
i = i + 2
def revert_url(document):
'Reverts Flex URL insets to old-style URL insets'
i = 0
while True:
i = find_token(document.body, "\\begin_inset Flex URL", i)
if i == -1:
return
j = find_end_of_inset(document.body, i)
if j == -1:
document.warning("Can't find end of inset in revert_url!")
return
k = find_default_layout(document, i, j)
if k == -1:
document.warning("Can't find default layout in revert_url!")
i = j
continue
l = find_end_of(document.body, k, "\\begin_layout", "\\end_layout")
if l == -1 or l >= j:
document.warning("Can't find end of default layout in revert_url!")
i = j
continue
# OK, so the inset's data is between lines k and l.
data = " ".join(document.body[k+1:l])
data = data.strip()
newinset = ["\\begin_inset LatexCommand url", "target \"" + data + "\"",\
"", "\\end_inset"]
document.body[i:j+1] = newinset
i = i + len(newinset)
'Reverts Flex URL insets to old-style URL insets'
i = 0
while True:
i = find_token(document.body, "\\begin_inset Flex URL", i)
if i == -1:
return
j = find_end_of_inset(document.body, i)
if j == -1:
document.warning("Can't find end of inset in revert_url!")
return
k = find_default_layout(document, i, j)
if k == -1:
document.warning("Can't find default layout in revert_url!")
i = j
continue
l = find_end_of(document.body, k, "\\begin_layout", "\\end_layout")
if l == -1 or l >= j:
document.warning("Can't find end of default layout in revert_url!")
i = j
continue
# OK, so the inset's data is between lines k and l.
data = " ".join(document.body[k+1:l])
data = data.strip()
newinset = ["\\begin_inset LatexCommand url", "target \"" + data + "\"",\
"", "\\end_inset"]
document.body[i:j+1] = newinset
i = i + len(newinset)
def convert_include(document):
'Converts include insets to new format.'