Fix reversion of box insets.

(cherry picked from commit da75d31948)
This commit is contained in:
Enrico Forestieri 2014-05-29 10:44:02 +02:00 committed by Richard Heck
parent e1350913ba
commit d466bedce4

View File

@ -4187,7 +4187,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("}")