anne/lyx_mirror
1
0
Fork 0
mirror of https://git.lyx.org/repos/lyx.git synced 2024-11-23 02:14:50 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Whitespace.

Browse Source 
git-svn-id: svn://svn.lyx.org/lyx/lyx-devel/trunk@25482 a592a061-630c-0410-9148-cb99ea01b6c8
This commit is contained in:
Richard Heck 2008-07-07 17:23:51 +00:00
parent 89695eb813
commit 3a2153b287
1 changed files with 27 additions and 27 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

54
lib/lyx2lyx/lyx_1_6.py
View File

@ -803,33 +803,33 @@ def convert_latexcommand_index(document):
r = re.compile('^(.*?)(\$.*?\$)(.*)')
lines = fullcontent.split('\n')
for line in lines:
#document.warning("LINE: " + line)
#document.warning(str(i) + ":" + document.body[i])
#document.warning("LAST: " + document.body[-1])
g = line
while r.match(g):
m = r.match(g)
s = m.group(1)
f = m.group(2).replace('\\\\', '\\')
g = m.group(3)
if s:
# this is non-math!
s = wrap_into_ert(s, r'\\', '\\backslash')
s = wrap_into_ert(s, '{', '{')
s = wrap_into_ert(s, '}', '}')
subst = s.split('\n')
document.body[i:i] = subst
i += len(subst)
document.body.insert(i + 1, "\\begin_inset Formula " + f)
document.body.insert(i + 2, "\\end_inset")
i += 2
# Generic, \\ -> \backslash:
g = wrap_into_ert(g, r'\\', '\\backslash')
g = wrap_into_ert(g, '{', '{')
g = wrap_into_ert(g, '}', '}')
subst = g.split('\n')
document.body[i+1:i+1] = subst
i += len(subst)
#document.warning("LINE: " + line)
#document.warning(str(i) + ":" + document.body[i])
#document.warning("LAST: " + document.body[-1])
g = line
while r.match(g):
m = r.match(g)
s = m.group(1)
f = m.group(2).replace('\\\\', '\\')
g = m.group(3)
if s:
# this is non-math!
s = wrap_into_ert(s, r'\\', '\\backslash')
s = wrap_into_ert(s, '{', '{')
s = wrap_into_ert(s, '}', '}')
subst = s.split('\n')
document.body[i:i] = subst
i += len(subst)
document.body.insert(i + 1, "\\begin_inset Formula " + f)
document.body.insert(i + 2, "\\end_inset")
i += 2
# Generic, \\ -> \backslash:
g = wrap_into_ert(g, r'\\', '\\backslash')
g = wrap_into_ert(g, '{', '{')
g = wrap_into_ert(g, '}', '}')
subst = g.split('\n')
document.body[i+1:i+1] = subst
i += len(subst)
document.body.insert(i + 1, "\\end_layout")