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

remove space between margin separation and units of 2.15 files (bug 763)

Browse Source 
git-svn-id: svn://svn.lyx.org/lyx/lyx-devel/trunk@7127 a592a061-630c-0410-9148-cb99ea01b6c8
This commit is contained in:
José Matox 2003-06-06 15:48:35 +00:00
parent 387d1c6416
commit 2013762dc3
2 changed files with 29 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
lib/ChangeLog
View File

@ -1,3 +1,7 @@
2003-06-06 José Matos <jamatos@fep.up.pt>
* lyx2lyx/lyxconvert_215 (remove_space_in_units): fix bug 763.
2003-06-06 José Matos <jamatos@fep.up.pt>
* lyx2lyx/lyxconvert_216 (update_tabular): fix bug 1045.

25
lib/lyx2lyx/lyxconvert_215.py
View File

@ -107,6 +107,30 @@ def remove_vcid(lines):
if i != -1:
del lines[i]
def remove_space_in_units(lines):
margins = ["\\topmargin","\\rightmargin",
"\\leftmargin","\\bottommargin"]
unit_rexp = re.compile(r'[^ ]* (.*) (.*)')
begin_preamble = find_token(lines,"\\begin_preamble", 0)
end_preamble = find_token(lines, "\\end_preamble", 0)
for margin in margins:
i = 0
while 1:
i = find_token(lines, margin, i)
if i == -1:
break
if i > begin_preamble and i < end_preamble:
i = i + 1
continue
result = unit_rexp.search(lines[i])
if result:
lines[i] = margin + " " + result.group(1) + result.group(2)
i = i + 1
def convert(header,body):
remove_vcid(header)
remove_cursor(body)
@ -114,6 +138,7 @@ def convert(header,body):
replace_protected_separator(body)
merge_formula_inset(body)
update_tabular(body)
remove_space_in_units(header)
if __name__ == "__main__":
pass