Fix reversion of box insets.

This commit is contained in:
Enrico Forestieri 2014-05-29 10:44:02 +02:00
parent 061509bf75
commit da75d31948

View File

@ -4365,7 +4365,7 @@ def revert_mbox_fbox(document):
i += 1 i += 1
continue continue
BeginLayout = find_token(document.body, "\\begin_layout Plain Layout", j) BeginLayout = find_token(document.body, "\\begin_layout Plain Layout", j)
EndLayout = find_token(document.body, "\\end_layout", BeginLayout) EndLayout = find_end_of_layout(document.body, BeginLayout)
# replace if width is "" # replace if width is ""
if (width == '""'): if (width == '""'):
document.body[EndLayout:k + 1] = put_cmd_in_ert("}") document.body[EndLayout:k + 1] = put_cmd_in_ert("}")