diff --git a/lib/ChangeLog b/lib/ChangeLog index e189c8f6cc..737623cadc 100644 --- a/lib/ChangeLog +++ b/lib/ChangeLog @@ -1,3 +1,7 @@ +2003-06-06 José Matos + + * lyx2lyx/lyxconvert_215 (remove_space_in_units): fix bug 763. + 2003-06-06 José Matos * lyx2lyx/lyxconvert_216 (update_tabular): fix bug 1045. diff --git a/lib/lyx2lyx/lyxconvert_215.py b/lib/lyx2lyx/lyxconvert_215.py index 1dbc589bd2..1bcb0833de 100644 --- a/lib/lyx2lyx/lyxconvert_215.py +++ b/lib/lyx2lyx/lyxconvert_215.py @@ -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