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 76417c7326
commit 94ed54b51a

View File

@ -4197,7 +4197,7 @@ def revert_mbox_fbox(document):
i += 1
continue
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 ""
if (width == '""'):
document.body[EndLayout:k + 1] = put_cmd_in_ert("}")