Fix conversion of beamer block titles that end with a non-ERT inset.

This commit is contained in:
Juergen Spitzmueller 2014-04-27 09:44:43 +02:00
parent dd44f71cf9
commit 8b7d5276b8
2 changed files with 12 additions and 1 deletions

View File

@ -2912,7 +2912,16 @@ def convert_beamerblocks(document):
if i != -1: if i != -1:
if document.body[parbeg] == "\\begin_inset ERT": if document.body[parbeg] == "\\begin_inset ERT":
ertcontfirstline = parbeg + 5 ertcontfirstline = parbeg + 5
ertcontlastline = parend - 6 # Find the last ERT in this paragraph (which might also be the first)
lastertbeg = find_token_backwards(document.body, "\\begin_inset ERT", j)
if lastertbeg == -1:
document.warning("Last ERT not found!")
break
lastertend = find_end_of_inset(document.body, lastertbeg)
if lastertend == -1:
document.warning("End of last ERT not found!")
break
ertcontlastline = lastertend - 3
while True: while True:
if document.body[ertcontfirstline].startswith("<"): if document.body[ertcontfirstline].startswith("<"):
# This is an overlay specification # This is an overlay specification

View File

@ -62,6 +62,8 @@ What's new
- Fix problem converting layout files and modules when Flex inset names are - Fix problem converting layout files and modules when Flex inset names are
quoted. quoted.
- Fix conversion of beamer block titles ending with non-ERT insets to 2.1 format.
* USER INTERFACE * USER INTERFACE